Simplified semantics for relevant logics (and some of their rivals)
This paper continues the work of Priest and Sylvan inSimplified Semantics for Basic Relevant Logics, a paper on the simplified semantics of relevant logics, such asB + andB. We show that the simplified semantics can also be used for a large number of extensions of the positive base logicB +, and then add the dualising‘*’ operator to model negation. This semantics is then used to give conservative extension results for Boolean negation.
KeywordsCanonical Model Relevant Logic Prime Theory Ternary Relation Inductive Definition
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
R. Brady, ‘Natural Deduction Systems for some Quantified Relevant Logics’,Logique et Analyse
(1984), 355–377.Google Scholar
S. Giambrone and R. Meyer, ‘Completeness and Conservative Extension Results for Some Boolean Relevant Logics’,Studio Logica
(1989) 1–14.CrossRefGoogle Scholar
G. Priest and R. Sylvan, ‘Simplified Semantics for Basic Relevant Logics’,Journal of Philosophical Logic
(1992), 217–232.CrossRefGoogle Scholar
R. Routley, V. Plumwood, R. Meyer and R. Brady,Relevant Logics and their Rivals
, Ridgeview, 1982.Google Scholar
J. Slaney, ‘A General Logic’,Australasian Journal of Philosophy
(1990), 74–88.CrossRefGoogle Scholar
© Kluwer Academic Publishers 1993