Kripke-completeness of every classical modal logic with Sahlqvist formulas is one of the basic general results on completeness of classical modal logics. This paper shows a Sahlqvist theorem for modal logic over the relevant logic Bin terms of Routley- Meyer semantics. It is shown that usual Sahlqvist theorem for classical modal logics can be obtained as a special case of our theorem.

Kripke-completeness of every classical modal logic with Sahlqvist formulas is one of the basic general results on completeness of classical modal logics. This paper shows a Sahlqvist theorem for modal logic over the relevant logic Bin terms of Routley-Meyer semantics. It is shown that usual Sahlqvist theorem for classical modal logics can be obtained as a special case of our theorem.

Familial amyloidotic polyneuropathy (FAP) is an inherited systemic amyloidosis, characterized by the extracellular deposition of fibrillar amyloid protein, i.e. a variant type of prealbumin, and by prominent peripheral nerve involvement. We recently established the basis of FAP, using a cloned human prealbumin cDNA, restriction endonuclease(s) and Southern blot procedures. This approach clearly revealed a direct link between mutation in the prealbumin gene and FAP; individuals with FAP are heterozygous for the prealbumin gene, carrying one normal and one mutant gene. Molecular (...) analysis of the prealbumin gene yielded pertinent data on the genetic basis for FAP. (shrink)

The evolution of a female penis is an extremely rare event and is only known to have occurred in a tribe of small cave insects, Sensitibillini (Psocodea: Trogiomorpha: Prionoglarididae). The female penis, which is protrudable and inserted into the male vagina‐like cavity during copulation to receive semen, is thought to have evolved independently twice in this tribe, in the Brazilian Neotrogla and the African Afrotrogla. These findings strongly suggest that there are some factors unique to Sensitibillini that have facilitated female (...) penis evolution. Here, several hypothetical factors are presented that may have enabled the evolution of the female penis in Sensitibillini. The female–female competition for nutritious semen, the oligotrophic environment, and the twin insemination slots with switching valve are considered to be the driving factors for female penis evolution. Additionally, the following factors are considered responsible for relaxing the constraint against female penis evolution: preexistence of the female‐above mating position, the elongated duct connecting the female pre‐penis with the sperm storage organ, and the small male genital cavity accepting the female genital tubercle bearing the opening of this duct. Understanding the factors enabling female penis evolution may also shed light on the evolution of the male penis. (shrink)

This paper describes availability of personal Web-pages and a prototype development for Decision Support for Internet Users, called DSIU, which is an area of research for decision support by using information on the Internet. The availability of Web-pages concerns usage of formal pages, which are provided by companies and so on, and personal pages, which are provided by private persons. Web-pages are gathered by using an Internet search engine to determine destinations for travel and personal pages are confirmed to provide (...) much subjective information than formal pages. The prototype development concerns a travel recommendation system, which is a kind of decision support systems. The prototype uses subjective and objective information on the Internet to select several destinations for users and to provide explanations the reason why the destinations are recommended. This paper also describes our perspective of DSIU researches. (shrink)

The behavioral immune system (BIS) includes perceptual mechanisms for detecting cues of contamination. Former studies have indicated that moisture has a disgusting property. Therefore, moisture could be a target for detecting contamination cues by the BIS. We conducted two experiments to examine the psychophysical basis of moisture perception and clarify the relationship between the perception of moisture and the BIS. We assumed that the number of high luminance areas in a visual image provided optical information that would enable the visual (...) perception of moisture. In two experiments, we presented eight images of dough that contained different amounts of moisture as experimental stimuli. The amount of moisture shown in the images was increased in eight steps, from 28.6% to 42.9% of the total weight of the dough. In Experiment 1, the images were randomly presented on a computer display, and the participants (n = 22) were asked to rank the images in the order of the visually perceived moisture content. In Experiment 2, the participants (n = 15) completed pairwise comparisons based on the perceived moistness of the images. Furthermore, to examine the BIS responses, the participants rated the strength of disgust evoked by the stimuli, their motivation to avoid touching the stimuli, and the estimated magnitude of the risk of contamination by physical contact with the stimuli. The results indicated that the moisture content and the numbers of high luminance areas in the images accurately predicted the perception of moisture, suggesting that the detection of visual moisture was highly accurate, and the optical information served as an essential perceptual cue for detecting moisture. On the other hand, the BIS responses peaked in response to stimuli having approximately 33% to 39% moisture content. These results show that objects containing a moderate amount of moisture could be the target of visually detecting pathogens by the BIS. (shrink)

General frames are often used in classical modal logic. Since they are duals of modal algebras, completeness follows automatically as with algebras but the intuitiveness of Kripke frames is also retained. This paper develops basics of general frames for relevant modal logics by showing that they share many important properties with general frames for classical modal logic.

A model of face representation, inspired by the biology of the visual system, is compared to experimental data on the perception of facial similarity. The face representation model uses aggregate primary visual cortex (V1) cell responses topographically linked to a grid covering the face, allowing comparison of shape and texture at corresponding points in two facial images. When a set of relatively similar faces was used as stimuli, this Linked Aggregate Code (LAC) predicted human performance in similarity judgment experiments. When (...) faces of perceivable categories were used, dimensions such as apparent sex and race emerged from the LAC model without training. The dimensional structure of the LAC similarity measure for the mixed category task displayed some psychologically plausible features but also highlighted differences between the model and the human similarity judgements. The human judgements exhibited a racial perceptual bias that was not shared by the LAC model. The results suggest that the LAC based similarity measure may offer a fertile starting point for further modelling studies of face representation in higher visual areas, including studies of the development of biases in face perception. (shrink)

The?-admissibility is one of the most important problems in the realm of relevant logics. To prove the 7-admissibility, either the method of normal models or the method using metavaluations may be employed. The?-admissibility of a wide class of relevant modal logics has been discussed in Part I based on a former method, but the?-admissibility based on metavaluations has not hitherto been fully considered. Sahlqvist axioms are well known as a means of expressing generalized forms of formulas with modal operators. This (...) paper shows that? is admissible for relevant modal logics with restricted Sahlqvist axioms in terms of the method using metavaluations. (shrink)

A logic is called metacomplete if formulas that are true in a certain preferred interpretation of that logic are theorems in its metalogic. In the area of relevant logics, metacompleteness is used to prove primeness, consistency, the admissibility of γ and so on. This paper discusses metacompleteness and its applications to a wider class of modal logics based on contractionless relevant logics and their neighbours using Slaney’s metavaluational technique.

Machine learning, deep learning and neural networks are extensively applied for the development of many fields. Though their technologies are improved greatly, they are often said to be opaque in terms of explainability. Their explainable neural functions will be essential to realization in the networks. In this paper, it is shown that the bio-inspired networks are useful for the explanation of tracking and classification of features. First, the asymmetric network with nonlinear functions is created based on the bio-inspired retinal network. (...) They have orthogonal properties useful for the tracking of features compared with the conventional symmetric networks, which is also proposed on the biological functions. Next, the analysis for the independence of the subspaces between the Fourier bases and the asymmetric network bases is performed. It was that the asymmetric networks have better performances in the classification compared with the symmetric ones. Further, the layered asymmetric networks generate the higher dimensional orthogonal bases that improve the classification accuracies by the replacements of bases. Finally, we classified Reuters collections data applying the explainable processing steps, which consist of the linear discriminations and the sparse coding with nearest neighbor relation for classification. (shrink)

Halldén completeness closely resembles the relevance property. To prove Halldén completeness in terms of Kripke-style semantics, the van Benthem–Humberstone theorem is often used. In relevant modal logics, the Halldén completeness of Meyer–Fuhrmann logics has been obtained using the van Benthem–Humberstone theorem. However, there remain a number of Halldén-incomplete relevant modal logics. This paper discusses the Halldén completeness of a wider class of relevant modal logics, namely, those with some Sahlqvist axioms.

The admissibility of Ackermann’s rule γ is one of the most important problems in relevant logic. While the γ-admissibility of normal modal logics based on the relevant logic R has been previously discussed, the case for weaker relevant modal logics has not yet been considered. The method of normal models has often been used to prove the γ-admissibility. This paper discusses which relevant modal logics admit γ from the viewpoint of the method of normal models.

The admissibility of Ackermann's rule γ is one of the most important problems in relevant logics. The admissibility of γ was first proved by an algebraic method. However, the development of Routley-Meyer semantics and metavaluational techniques makes it possible to prove the admissibility of γ using the method of normal models or the method using metavaluations, and the use of such methods is preferred. This paper discusses an algebraic proof of the admissibility of γ in relevant modal logics based on (...) modern algebraic models. (shrink)

This article examines whether democracy affects quality of life. Scholars have conducted surveys to investigate whether democracy is likely to lead to good quality of life. There are two contested views to the relationship: some suggest that democracy has a positive causal effect on quality of life, whereas others contend that democracy does not play such a role. Previous findings are supported by cross-national statistical analysis with aggregated survey data. However, aggregated survey data may cause ecological fallacy. Also, in order (...) to ascertain the extant research, it would be beneficial to test the hypothesis by incorporating both individual- and country-level variables. Therefore, this paper applied hierarchical modeling to investigate the regularity. Both individual-level perception of democracy and country-level political regime data were incorporated in our empirical model. Our findings suggest that individual-level satisfaction with democracy has positive causal effect on one's quality of life, whereas the country-level characteristic of the political regime has no effect. (shrink)

Résumé : Cet article examine un dialogue important mais peu étudié entre Sartre et le philosophe du langage Brice Parain. Les deux écrivains constatent un mal du langage, issu de la Grande Guerre de 1914-18 et de ses traumatismes que les mots proférés par les survivants sont incapables de prendre en charge. Dans ce monde « inhumain », où trouver un remède? Pour Parain et Sartre le retour à n’importe quel humanisme implique une réflexion sur le langage. A travers sa (...) lecture de Parain et ce qu’il propose, Sartre repense les bases de sa propre conception du langage d’une manière qui lui permet de développer son propre humanisme et les principes de la littérature engagée. Mais la dimension religieuse de l’argumentation de Parain, écartée par Sartre, laisse-t-elle des traces sur la conception sartrienne de l’auteur?: In this paper we examine the dialogue between Sartre and one of his contemporaries, the philosopher of language, Brice Parain. First, after clarifying what is common and different in their backgrounds, we will see that Sartre and Parain share a common belief that language itself has taken ill, as a result of the First World War, an illness for which both feel a need to find a remedy. Secondly, we will show how Sartre’s reading of Parain allowed him to construct a theory of language that is consistent with his own humanism and the principles of committed literature. Finally, we will examine the influence of the religious dimension of Parain’s argument on Sartre’s theory of authorship. (shrink)

Metacompleteness is used to prove properties such as the disjunction property and the existence property in the area of relevant logics. On the other hand, the disjunction property of several basic propositional substructural logics over FL has been proved using the cut elimination theorem of sequent calculi and algebraic characterization. The present paper shows that Meyer’s metavaluational technique and Slaney’s metavaluational technique can be applied to basic predicate intuitionistic substructural logics and basic predicate involutive substructural logics, respectively. As a corollary (...) of metacompleteness, the disjunction property, the existence property, and the admissibility of certain rules in such logics can be proved. (shrink)

dai 1-kan-dai 2-satsu. Zuihitsu bu -- dai 3-satsu. Shiden, shokan bu -- dai 4-satsu. Ronben bu -- dai 5-6-satsu. Kaisetsu bu.

dai 1-satsu. Zuihitsu bu, dai I -- dai 2-satsu. Zuihitsu bu, dai II, oyobi Shibun bu -- dai 3-satsu. Kaisetsu bu, oyobi Zatsu bu -- dai 4-satsu. Kaisetsu bu, dai II, Zuihitsu bu, dai III.

Through an analysis of university students’ job-hunting logs, we have found that their introspection via rereading their log sometimes helps them discover themselves. Then we have built a system called PLASIU designed to support job-hunter’s creative decision-making based on the observations from their actual job-hunting process. This paper provides an overview of PLASIU and describes the findings from a user study using PLASIU.

The concept of cuteness, which can evoke positive emotions in people, is an essential aspect to consider in artificial intelligence design. This study aimed to investigate whether the use of baby schema designed avatars in computer-mediated communication elicits higher positive attitudes than neutral avatars and whether the ethnicity of the cute avatars influences individuals' perceived level of cuteness. 485 participants from Israel and Japan viewed six avatar images, including three baby schema avatars of different visual characteristics and ethnicities (Caucasian, Asian, (...) and Black) and three neutral avatars. Participants rated their attitudes on each avatar, and the results revealed that the baby schema designed avatars were rated cuter, more likable, approachable, and pleasant than the neutral mature avatars. Cultural differences were also evident, as the Caucasian baby schema avatar was rated cuter among Japanese participants, while the Asian and Black baby schema avatars were rated cuter among Israeli respondents. The study findings suggest that cute avatar design can serve as a powerful tool for promoting positive interactions in computer-mediated communication, especially in cultures that highly value cuteness, such as Japan. However, the subjective nature of cuteness is evident as attitudes toward cuteness varied significantly across cultures and individuals. This research highlights the significance of cultural diversity and emphasizes the importance of considering cuteness as a crucial aspect of artificial intelligence design, particularly when creating avatars intended to elicit positive emotions from users. Therefore, designers should be mindful of potential cultural and individual differences in the perception of cuteness while developing avatars for various applications. (shrink)

The sophisticated function of the central nervous system (CNS) is largely supported by proper interactions between neural cells and blood vessels. Accumulating evidence has demonstrated that neurons and glial cells support the formation of blood vessels, which in turn, act as migratory scaffolds for these cell types. Neural progenitors are also involved in the regulation of blood vessel formation. This mutual interaction between neural cells and blood vessels is elegantly controlled by several chemokines, growth factors, extracellular matrix, and adhesion molecules (...) such as integrins. Recent research has revealed that newly migrating cell types along blood vessels repel other preexisting migrating cell types, causing them to detach from the blood vessels. In this review, we discuss vascular formation and cell migration, particularly during development. Moreover, we discuss how the crosstalk between blood vessels and neurons and glial cells could be related to neurodevelopmental disorders. (shrink)