In a recent paper we have defined an analytic tableau calculus PL_16 for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN_3. This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic---such as the relations |=_t, |=_f, and |=_i that each correspond to a lattice order in SIXTEEN_3; and |=, the intersection of |=_t and |=_f,. -/- It turns out that our method of characterising these semantic relations---as (...) intersections of auxiliary relations that can be captured with the help of a single calculus---lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that |=, when restricted to L_{tf}, the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano. (shrink)

In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t, ⊧ f, ⊧ i, and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three entailment (...) relations will in general require developing four tableaux, while proving that they are in the ⊧ relation may require six. (shrink)

Local food systems can have economic and social benefits by providing income for producers and improving community connections. Ongoing global climate change and the acute COVID-19 pandemic crisis have shown the importance of building equity and resilience in local food systems. We interviewed ten stakeholders from organizations and institutions in a U.S. midwestern city exploring views on past, current, and future conditions to address the following two objectives: 1) Assess how local food system equity and resilience were impacted by the (...) COVID-19 pandemic, and 2) Examine how policy and behavior changes could support greater equity and resilience within urban local food systems. We used the Community Capitals Framework to organize interviewees’ responses for qualitative analyses of equity and resilience. Four types of community capital were emphasized by stakeholders: cultural and social, natural, and political capital. Participants stated that the local food system in this city is small; more weaknesses in food access, land access, and governance were described than were strengths in both pre- and post-pandemic conditions. Stakeholder responses also reflected lack of equity and resilience in the local food system, which was most pronounced for cultural and social, natural and political capitals. However, local producers’ resilience during the pandemic, which we categorized as human capital, was a notable strength. An improved future food system could incorporate changes in infrastructure (e.g., food processing), markets (e.g., values-based markets) and cultural values (e.g., valuing local food through connections between local producers and consumers). These insights could inform policy and enhance community initiatives and behavior changes to build more equitable and resilient local food systems in urban areas throughout the U.S. Midwest. (shrink)

Joachim Schulte’s introduction provides a distinctive and masterful account of the full range of Wittgenstein’s thought. It is concise but not compressed, substantive but not overloaded with developmental or technical detail, informed by the latest scholarship but not pedantic. Beginners will find it accessible and seasoned students of Wittgenstein will appreciate it for the illuminating overview it provides.

Possible distributive justice frameworks for providing health care by general practitioners are discussed. The ethical considerations before and after the recent changes to the British National Health Service are contrasted, with particular emphasis on a possible ethical divide that has been produced between fund-holding and non-fund-holding general practitioners. It is argued that general practitioners in non-fund-holding practices can continue as ethical advocates for their patients and distribute health care within an egalitarian framework. However, those in fund-holding practices may now be (...) seen as interest advocates and may have to practise utilitarian distributive justice. Patient groups may be needed to ensure that these general practitioners are seen to act justly in the distribution of the health care resources for which they are now responsible. (shrink)

Quine and others have put many problems to quantified modal logic. Their purpose is to show the logic to be paradoxical or at least very peculiar. Many of these problems center around the interplay between modality, quantification and identity.

IntroductionThe identity thesis asserts that for every psychological state P there is a neural state N such that P=N. In the hope of rendering IT clear and plausible many identity theorists have compared psycho-neural identity claims to such theoretical identities as temperature is identical with molecular mean kinetic energy. However such a comparison admits a weak and a strong interpretation. According to the weak interpretation, psycho-neural identities are said to be like theoretical identities in the sense that the former are (...) contingent claims just as the latter are presumed to be. Identity theorists have appealed to the contingent status of IT in order to meet prima facie objections of the following sort. We can imagine ourselves undergoing a pain, although we are not undergoing the neural process which the identity theorist claims is identical with the pain. Indeed we can imagine ourselves being in pain and yet not having a brain at all. Hence IT is false. Identity theorists have replied by arguing that this objection merely shows that IT is not a necessary truth, or that psychological and neurological terms do not have the same meaning. (shrink)

Polyclonal antibodies raised against the human erythrocyte nucleoside transporter were used to investigate the distribution of the nucleoside transporters in the placenta. Immunoblots of brush-border membranes isolated from the human syncytiotrophoblast revealed a cross-reactive species that co-migrated with the erythrocyte nucleoside transporter as a broad band of apparent M 55,000. In contrast, no labelling was detected in basal membranes containing a similar number of equilibrative nucleoside transporters as assessed by nitrobenzylthioinosine -binding. The absence of cross-reactive epitopes in basal membranes and (...) their presence in brush-border membranes was confirmed by confocal immunofluorescence microscopy. The results suggest that at least two isoforms of the NBMPR-sensitive nucleoside transporter are present in the human placenta. The lumenal surfaces of fetal capillaries, small placental vessels and umbilical vein ware also strongly labelled by the antibody, a finding that suggests that the high fetal-placental adenosine uptake previously reported is due to endothelial transporters. (shrink)