Citations of:
Conjunction and Disjunction in Infectious Logics
In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Berlin: Springer. pp. 268283 (2017)
Add citations
You must login to add citations.


In this work, we propose a variant of socalled informational semantics, a technique elaborated by Voishvillo, for two infectious logics, Deutsch’s ${\mathbf{S}_{\mathbf{fde}}}$ and Szmuc’s $\mathbf{dS}_{\mathbf{fde}}$. We show how the machinery of informational semantics can be effectively used to analyse truth and falsity conditions of disjunction and conjunction. Using this technique, it is possible to claim that disjunction and conjunction can be rightfully regarded as such, a claim which was disputed in the recent literature. Both ${\mathbf{S}_{\mathbf{fde}}}$ and $\mathbf{dS}_{\mathbf{fde}}$ are formalized in (...) 

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are threevalued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con sequence in PWK – that is, we individuate necessary and sufficient conditions for a set. 

The present note revisits the joint work of Leonard Goddard and Richard Routley on significance logics with the aim of shedding new light on their understanding by studying them under the lens of recent semantic developments, such as the plurivalent semantics developed by Graham Priest. These semantics allow sentences to receive one, more than one, or no truthvalue at all from a given carrier set. Since nonsignificant sentences are taken to be neither true nor false, i.e. truthvalue gaps, in this (...) 

The first degree entailment (FDE) family is a group of logics, a manyvalued semantics for each system of which is obtained from classical logic by adding to the classical truthvalues true and false any subset of {both, neither, indeterminate}, where indeterminate is an infectious value (any formula containing a subformula with the value indeterminate itself has the value indeterminate). In this paper, we see how to extend a version of star semantics for the logics whose manyvalued semantics lack indeterminate to (...) 

Here, we outline UPJA’s recent developments and the contents of Volume 2, Issue 2. 

Infectious logics are systems that have a truthvalue that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies fourvalued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truthvalue gluts and some others to be truthvalue gaps and as a way to treat the semantic pathology suffered by at least (...) 

In this paper, we study logical systems which represent entailment relations of two kinds. We extend the approach of finding ‘exactly true’ and ‘nonfalsity’ versions of fourvalued logics that emerged in series of recent works [Pietz & Rivieccio (2013). Nothing but the truth. Journal of Philosophical Logic, 42(1), 125–135; Shramko (2019). DualBelnap logic and anything but falsehood. Journal of Logics and their Applications, 6, 413–433; Shramko et al. (2017). Firstdegree entailment and its relatives. Studia Logica, 105(6), 1291–1317] to the case (...) 

This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cutdown" operator is discussed, rendering a "trackdown" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truthfunctions of Paraconsistent Weak Kleene coincide with certain operations defined in this trackdown fashion. Finally, further reflections (...) 