Simplified semantics for basic relevant logics
From MaRDI portal
Publication:1187984
DOI10.1007/BF00248640zbMath0782.03008WikidataQ56852430 ScholiaQ56852430MaRDI QIDQ1187984
Richard Routley, Graham Priest
Publication date: 3 August 1992
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00248640
semantics; affixing systems; basic relevant logics; negation extensions; propositional relevant logics
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
SUBSTITUTION IN RELEVANT LOGICS, Two pretabular linear extensions of relevance logic R, Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions), A natural deduction system for first degree entailment, The logical structure of linguistic commitment. III: Brandomian scorekeeping and incompatibility, Reflections on Orlov, Varieties of Relevant S5, COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS, Simplified semantics for relevant logics (and some of their rivals), A classically-based theory of impossible worlds, Four-valued semantics for relevant logics (and some of their rivals), Neighborhoods for entailment, 40 years of FDE: an introductory overview, Lambek calculus with conjugates, An incompleteness theorem for modal relevant logics, What is a relevant connective?, Wave-particle duality and the objectiveness of ``true and ``false, Models for relevant modal logics, Simple axiomatizations for pretabular classical relevance logics, Neighbourhood semantics for modal relevant logics, Free of Detachment: Logic, Rationality, and Gluts, Higher-Order Modal Logics: Automation and Applications, Two Negations Are More than One, CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R