The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics (Q1069923): Difference between revisions

The paper shows how the Dunn semantics for first degree entailment can be extended to semantics for many (higher degree) relevant logics. The truth conditions of formulas are given using a ternary relation, R, familiar from Routley/Meyer semantics. The main novelty is in giving the falsity conditions of formulas in terms of another ternary relation, S, which behaves dually to R. This method encounters problems with certain of the stronger relevant systems, and various ways around the problems are canvassed. The successful ways are rather artificial or tend to reintroduce the * operation of Routley/Meyer semantics. The same ground is covered in Ch. 4, Section 7, of \textit{R. Routley}: Relevant logics and their rivals. Part I (1982; Zbl 0579.03011).