In this paper, we establish the first-order definability of sequents with consistent variable occurrence on bi-approximation semantics by means of the Sahlqvist–van Benthem algorithm. Then together with the canonicity results in Suzuki (2011), this allows us to establish a Sahlqvist theorem for substructural logic. Our result is not limited to substructural logic but is also easily applicable to other lattice-based logics.

In this paper, we extend the canonicity methodology in Ghilardi & Meloni (1997) to arbitrary lattice expansions, and syntactically describe canonical inequalities for lattice expansions consisting of -meet preserving operations, -multiplicative operations, adjoint pairs, and constants. This approach gives us a uniform account of canonicity for substructural and lattice-based logics. Our method not only covers existing results, but also systematically accounts for many canonical inequalities containing nonsmooth additive and multiplicative uniform operations. Furthermore, we compare our technique with the approach in (...) Dunn et al. (2005) and Gehrke et al. (2005). (shrink)

Background:Protecting the dignity of elderly residents of facilities and providing dignified care can be difficult. Although attempts have been made from several aspects, dignity is considered an area in which less real impact has been made in both theory and practice.Objective:The objective of this study is to characterize the concept of dignity in care for elderly subjects in residential facilities from a practical perspective through concept synthesis.Research design:This study includes in-depth interviews with residents of elderly facilities and a literature review.Participants (...) and research context:A total of 12 residents of seven facilities in three prefectures in Japan were recruited via purposive sampling, and 27 interviews were conducted. Each digitally recorded interview was transcribed verbatim. The interview data were analyzed based on hermeneutic phenomenological research. The literature was searched using PubMed, CINAHL, and Web of Science with combinations of terms such as dignity, elderly, and residential facilities and then selected according to the predefined inclusion criteria. The descriptions about dignity in the included studies were divided into codes and compared with the results of the interviews.Ethical considerations:This study was approved by the institutional review board of Nagoya University’s Graduate School of Medicine.Findings and discussion:There were 1728 data codes for the interviews from which four themes were generated. In the literature review, 3716 titles were searched, and 28 articles were selected. Combining these results, five following themes and a conceptual matrix were obtained: individual dignity not affected by others; dignified care in a narrow sense; elements of the staff side; dignity in relation to family members, friends, society, and other residents; and dignity in relation to nursing care facilities and the nursing care system.Conclusion:According to the established matrix, we must consider the role of the care system, facility, family, and society in providing care with dignity and the individual dignity to residents and dignity in daily care. (shrink)

In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combines the preference upgrade introduced in DEUL (dynamic epistemic upgrade logic) by van Benthem and Liu with the deontic update introduced in ECL II (eliminative command logic II) by Yamada. The resulting logic will incorporate J. L. Austin’s distinction between illocutionary acts as acts having mere conventional effects and perlocutionary acts as acts having real effects upon (...) attitudes and actions of agents, and help us understand why saying so can make it so in explicit performative utterances. We will also discuss how acts of commanding give rise to so-called “deontic dilemmas” and how we can accommodate most deontic dilemmas without triggering so-called “deontic explosion”. (shrink)

This study introduces an enigmatic construction in Japanese called chūshakuteki nibun-renchi ‘annotative dual-clause juxtaposition’ (ADCJ), exemplified below: Hiro wa, dare ni au no ka, resutoran o yoyakushita. top who dat meet nmlz int restaurant acc reserved Lit. ‘Hiro, (I wonder) who (he) will meet, reserved a restaurant.’ This construction is ubiquitous and yet little known even in Japanese linguistics circles. Because the matrix predicate of ADCJ cannot semantically accommodate such a component as dare ni au no ka ‘who (he) will (...) meet’ above, this paper argues that ADCJ is parenthetical, a construct that should be recognized as an essential element of verbal communication and, in turn, a determining factor in how utterances are to be formed and interpreted. This construction is dissimilar to any other type of parentheticals hitherto reported in the literature. What is so special about it is its merger of portraying two situations through abduction and expressing the entire circumstance in a single communicative unit. For example, in the above example, the parenthetical element explains why the speaker wishes to convey the matrix statement. From an interactional perspective, the primary function of ADCJ is to highlight the speaker’s intellectual and communicative involvement in the depicted scene. This style of communication, when compared with an ‘objective’ and apathetic description, is likely to induce more earnest reactions from the hearer or reader and, consequently, promote a more favorable continuation of the conversation or reading. This paper advocates a wide-ranging examination of thetical grammar (Kaltenböck et al. 2011), for which detailed analyses of constructions such as ADCJ that traditional syntactic/semantic theories cannot capture are indispensable. (shrink)

In this paper, we give a possible characterization of the distributivity on bi-approximation semantics. To this end, we introduce new notions of special elements on polarities and show that the distributivity is first-order definable on bi-approximation semantics. In addition, we investigate the dual representation of those structures and compare them with bi-approximation semantics for intuitionistic logic. We also discuss that two different methods to validate the distributivity—by the splitters and by the adjointness—can be explicated with the help of the axiom (...) of choice as well. (shrink)

Initially Einstein, Podolsky, and Rosen (EPR) and later Bell shed light on the non-local properties exhibited by subsystems in quantum mechanics. Separately, Kochen and Specker analyzed sets of measurements of compatible observables and found that a consistent coexistence of these results is impossible, i.e., quantum indefiniteness of measurement results. As a consequence, quantum contextuality, a more general concept compared to non-locality, leads to striking phenomena predicted by quantum theory. Here, we report neutron interferometric experiments which investigate entangled states in a (...) single-particle system: entanglement is, in this case, achieved not between particles, but between degrees of freedom i.e., between spin, path, and energy degrees of freedom. Appropriate combinations of the spin analysis and the position of the phase shifter in the interferometer allow an experimental verification of the violation of a Bell-like inequality. In addition, state tomography, tomographic analysis of the density matrix of a quantum system, and Kochen-Specker-like phenomena are presented to characterize neutrons’ entangled states and their peculiarity. Furthermore, a coherent energy manipulation scheme is accomplished with a radio-frequency (RF) spin-flipper. This scheme allows the (total) energy degree of freedom to be entangled: the remarkable behavior of a triply entangled GHZ-like state is demonstrated. (shrink)

This article aims to discuss how Lucretius arranges the four ‘roots’ at the end of successive lines of verse in the De rerum natura (henceforth, DRN) (1.5–8). In this passage Lucretius, alluding to Empedocles, puts the words in such an order that one can see the layers of the world by a vertical reading. In the same passage, Lucretius imitates the very beginning of Homer's ecphrasis (Il. 18.478–85), which the allegorical tradition will explain as an image of the world, related (...) to Empedoclean theory. The article also discusses the allusion to Daedalus by means of the adjective daedalus in DRN 1.7 (daedala tellus), which could be related to both Empedocles and Homer. This adjective is a keyword for discussing the image produced by the words on the written page. (shrink)

In recent papers the authors have discussed the dynamical properties of “large Poincaré systems” (LPS), that is, nonintegrable systems with a continuous spectrum (both classical and quantum). An interesting example of LPS is given by the Friedrichs model of field theory. As is well known, perturbation methods analytic in the coupling constant diverge because of resonant denominators. We show that this Poincaré “catastrophe” can be eliminated by a natural time ordering of the dynamical states. We obtain then a dynamical theory (...) which incorporates a privileged direction of time (and therefore the second law of thermodynamics). However, it is only in very simple situations that this time ordering can be performed in an “extended” Hilbert space. In general, we need to go to the Liouville space (superspace) and introduce a time ordering of dynamical states according to the number of particles involved in correlations. This leads then to a generalization of quantum mechanics in which the usual Heisenberg's eigenvalue problem is replaced by a complex eigenvalue problem in the Liouville space. (shrink)

The mean-field theory with the use of the slave-boson functional method has been generalized to take account of the spin- and/or orbital-ordered state in the doubly degenerate Hubbard model. Numerical calculations are presented of the antiferromagnetic orbital-ordered state in the half-filled simple-cubic model. The orbital order in the present theory is much reduced compared with that in the Hartree–Fock approximation because of the large orbital fluctuations. From a comparison of the ground-state energy, the antiferromagnetic orbital state is shown to be (...) unstable against the antiferromagnetic spin state, although the situation becomes reversed when the exchange interaction is negative. (shrink)

Although it seems intuitively clear that acts of requesting are different from acts of commanding, it is not very easy to sate their differences precisely in dynamic terms. In this paper we show that it becomes possible to characterize, at least partially, the effects of acts of requesting and compare them with the effects of acts of commanding by combining dynamified deontic logic with epistemic logic. One interesting result is the following: each act of requesting is appropriately differentiated from an (...) act of commanding with the same content, but for each act of requesting, there is another act of commanding with much more complex content which updates models in exactly the same way as it does. We will also consider an application of our characterization of acts of requesting to acts of asking yes-no questions. It yields a straightforward formalization of the view of acts of asking questions as requests for information. (shrink)

Correct chromosome segregation in mitosis relies on chromosome biorientation, in which sister kinetochores attach to microtubules from opposite spindle poles prior to segregation. To establish biorientation, aberrant kinetochore–microtubule interactions must be resolved through the error correction process. During error correction, kinetochore–microtubule interactions are exchanged (swapped) if aberrant, but the exchange must stop when biorientation is established. In this article, we discuss recent findings in budding yeast, which have revealed fundamental molecular mechanisms promoting this “swap and stop” process for error correction. (...) Where relevant, we also compare the findings in budding yeast with mechanisms in higher eukaryotes. Evidence suggests that Aurora B kinase differentially regulates kinetochore attachments to the microtubule end and its lateral side and switches relative strength of the two kinetochore–microtubule attachment modes, which drives the exchange of kinetochore–microtubule interactions to resolve aberrant interactions. However, Aurora B kinase, recruited to centromeres and inner kinetochores, cannot reach its targets at kinetochore–microtubule interface when tension causes kinetochore stretching, which stops the kinetochore–microtubule exchange once biorientation is established. (shrink)

To understand the public opinion concerning the genethics in culturally different populations, we conducted two focus groups in Japan, with one focus group each in China and Panama between April 2008 and August 2009. Generally, the participants in Japan were more cautious to disclose their personal thinking in a clear manner. Most participants in China and Panama hoped to have children free from any genetic disease if at all possible. The major difference between China and Panama seems to be whether (...) or not they will accept the issue of genetic abortion. Compared to China and Panama, fewer participants accepted a reprogenetics procedure in Japan. ―A goal of genetic counseling is to reduce the number of patients of genetic disease‖ is supported to a greater degree in China and Panama than in Japan. Most participants in China as well as Panama, and fewer participants in Japan accepted the concept of sharing genetic information with relatives, even though it is useful for preventing a possible genetic risk. The difference of the answers for the questions is depending on the cultural and value diversity in each country, while some of them are related into a paucity of knowing the principle of biogenetics. Education as to medical genetics and the principle of bioethics is most important to make genetics more accessible to the general public. (shrink)

The number of competing-brands changes by new product's entry. The new product introduction is endemic among consumer packaged goods firm and is an integral component of their marketing strategy. As a new product's entry affects markets, there is a pressing need to develop market response model that can adapt to such changes. In this paper, we develop a dynamic model that capture the underlying evolution of the buying behavior associated with the new product. This extends an application of a dynamic (...) linear model, which is used by a number of time series analyses, by allowing the observed dimension to change at some point in time. Our model copes with a problem that dynamic environments entail: changes in parameter over time and changes in the observed dimension. We formulate the model with framework of a state space model. We realize an estimation of the model using modified Kalman filter/fixed interval smoother. We find that new product's entry (1) decreases brand differentiation for existing brands, as indicated by decreasing difference between cross-price elasticities; (2) decreases commodity power for existing brands, as indicated by decreasing trend; and (3) decreases the effect of discount for existing brands, as indicated by a decrease in the magnitude of own-brand price elasticities. The proposed framework is directly applicable to other fields in which the observed dimension might be change, such as economic, bioinformatics, and so forth. (shrink)

Since the realisation that the antigen‐binding regions of antibodies, the variable (V) regions, can be uncoupled from the rest of the molecule to create fragments that recognise and abrogate particular protein functions in cells, the use of antibody fragments inside cells has become an important tool in bioscience. Diverse libraries of antibody fragments plus in vivo screening can be used to isolate single chain variable fragments comprising VH and VL segments or single V‐region domains. Some of these are interfering antibody (...) fragments that compete with protein‐protein interactions, providing lead molecules for drug interactions that until now have been considered difficult or undruggable. It may be possible to deliver or express antibody fragments in target cells as macrodrugs per se. In future incarnations of intracellular antibodies, however, the structural information of the interaction interface of target and antibody fragment should facilitate development of binding site mimics as small drug‐like molecules. This is a new dawn for intracellular antibody fragments both as macrodrugs and as precursors of drugs to treat human diseases and should finally lead to the removal of the epithet of the ‘undruggable’ protein‐protein interactions. (shrink)

In the past four decades, the notion of quantum polynomial-time computability has been mathematically modeled by quantum Turing machines as well as quantum circuits. This paper seeks the third model, which is a quantum analogue of the schematic definition of recursive functions. For quantum functions mapping finite-dimensional Hilbert spaces to themselves, we present such a schematic definition, composed of a small set of initial quantum functions and a few construction rules that dictate how to build a new quantum function from (...) the existing ones. We prove that our schematic definition precisely characterizes all functions that can be computable with high success probabilities on well-formed quantum Turing machines in polynomial time, or equivalently uniform families of polynomial-size quantum circuits. Our new, schematic definition is quite simple and intuitive and, more importantly, it avoids the cumbersome introduction of the well-formedness condition imposed on a quantum Turing machine model as well as of the uniformity condition necessary for a quantum circuit model. Our new approach can further open a door to the descriptional complexity of quantum functions, to the theory of higher-type quantum functionals, to the development of new first-order theories for quantum computing, and to the designing of programming languages for real-life quantum computer. (shrink)

SOCREAL 2007: International Workshop on Philosophy and Ethics of Social Reality. Sapporo, Japan, 2007-03-09/10. Session 2: Logical Dynamics of Social Interaction.

If the notion of speech acts is to be taken seriously, it must be possible to treat speech acts as acts. The development of systems of DEL (dynamic epistemic logic) in the last two decades suggests an interesting possibility. These systems are developed on the basis of static epistemic logics by introducing model updating operations to interpret various kinds of speech acts including public announcements as well as private information transmissions as what update epistemic states of agents involved. The methods (...) used in developing DEL can be used to develop logics that deal with a much wider variety of speech acts. For example, in ECL (Eliminative Command Logic) of Yamada (2007a) and ECL II of Yamada (2007b), similar model updating operations are introduced tointerpret acts of commanding as what update deontic aspects of the situations in which agents are involved. In Yamada (2008a), ECL II is further extended so as to model acts of promising along with acts of commanding. Moreover, in Yamada (2008b), ECL II is combined with a modified version of DEUL (dynamic epistemic upgrade logic) introduced in van Benthem & Liu (2007). In the resulting logic DDPL (dynamic deontic preference logic), illocutionary acts of commanding are differentiated from preference upgrading perlocutionary acts. The development of these logics suggests a recipe for developing logics that deal with various specific speech acts: first, carefully identify the aspects affected by the speech acts you want to study; second, find the modal logic that characterizes the aspects in question; and finally, add dynamic modalities that stand for the types of the speech acts being studied and define model updating operation that interprets these speech acts as what update the very aspects. (shrink)

SOCREAL 2013 : 3rd International Workshop on Philosophy and Ethics of Social Reality 2013. Hokkaido University, Sapporo, Japan, 25-27 October 2013. Session 4 : Agency, Responsibility, and Intentionality.

Two-player, zero-sum, non-cooperative, blindfold games in extensive form with incomplete information are considered in this paper. Any information about past moves which players played is stored in a database, and each player can access the database. A polynomial game is a game in which, at each step, all players withdraw at most a polynomial amount of previous information from the database. We show resource-bounded determinacy of some kinds of finite, zero-sum, polynomial games whose pay-off sets are computable by non-deterministic polynomial-time (...) function-oracle Turing machines. We call a pay-off set -determined if, for any polynomial game G associated with the given pay-off set, either player has a winning strategy which is in for any subgames of G. We show that there exists an FP-strongly-determined pay-off set which is computed by an exponential-time oracle Turing machine, where FP is the set of polynomial-time computable functions. We also discuss several relationships between the determinacy of polynomial games and recursion-theoretic properties for the classes co-NP and co-NEXP. We show that the polynomial version of the axiom of choice holds under some assumption of polynomial determinacy for a pay-off set which is polynomial-time computable with parallel queries. This principle of choice implies that co-NP has the separation property. (shrink)

SOCREAL 2010: 2nd International Workshop on Philosophy and Ethics of Social Reality. Sapporo, Japan, 2010-03-27/28. Keynote Lecture 3.