Labeled Calculi and Finite-Valued Logics

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite-valued logic if the labels are interpreted as sets of truth values (sets-as-signs). Furthermore, it is shown that any finite-valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the number of truth values, and it is shown that this bound is tight.     

An exploration of health-seeking behaviours among Nigerian Christians in the UK: towards enhanced health services utilisation

Migration from different cultures carries with it some acclimatisation challenges. This study explored various health-seeking behaviours and potential barriers to healthcare utilisation among Nigerian Christians in the UK. This qualitative study involved 10 adult male and female participants, with both interviews and focus group discussion (FG) for data collection (Interviews: n?=?4, FG: n?=?6). Thematic analysis revealed that religious and cultural beliefs were barriers to healthcare utilisation. The implication is that further research on cultural matching between care providers and service users is needed; where religious leaders and health providers from Nigeria can influence health decisions among this migrant community. Limitations of the current study are discussed, with directions for further research identified.     

A Conceptual Structure of Justice - Providing a Tool to Analyse Conceptions of Justice

Justice is a contested concept. There are many different and competing conceptions, i.e. interpretations of the concept. Different domains of justice deal with different fields of application of justice claims, such as structural justice, distributive justice, participatory justice or recognition. We present a formal conceptual structure of justice applicable to all these domains. We show that conceptions of justice can be described by specifying the following conceptual elements: the judicandum (that which is to be judged as just or unjust), the community of justice including claim holders and claim addressees, their claims (and obligations), the informational base for the assessment, the principles of justice, and on a more practical level, the instruments of justice. By specifying these conceptual elements of justice, it is possible to analyse and compare different conceptions of justice, to assess their internal consistency, to explore new definitions of justice in an analytical way, and to explicate an idea of justice in a manner that provides concrete links to the relevant context.