Simplified semantics for basic relevant logics

DOI10.1007/BF00248640zbMath0782.03008DBLPjournals/jphil/PriestS92OpenAlexW2058110538WikidataQ56852430 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

zbMATH Keywords

semanticsaffixing systemsbasic relevant logicsnegation extensionspropositional relevant logics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (24)

Four-valued semantics for relevant logics (and some of their rivals) ⋮ What is a relevant connective? ⋮ 40 years of FDE: an introductory overview ⋮ Reflections on Orlov ⋮ Varieties of Relevant S5 ⋮ Neighbourhood semantics for modal relevant logics ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ Free of Detachment: Logic, Rationality, and Gluts ⋮ SUBSTITUTION IN RELEVANT LOGICS ⋮ Neighborhoods for entailment ⋮ Higher-Order Modal Logics: Automation and Applications ⋮ Two Negations Are More than One ⋮ Wave-particle duality and the objectiveness of ``true and ``false ⋮ Two pretabular linear extensions of relevance logic R ⋮ Simplified semantics for relevant logics (and some of their rivals) ⋮ A natural deduction system for first degree entailment ⋮ Models for relevant modal logics ⋮ The logical structure of linguistic commitment. III: Brandomian scorekeeping and incompatibility ⋮ Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions) ⋮ Lambek calculus with conjugates ⋮ CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R ⋮ Simple axiomatizations for pretabular classical relevance logics ⋮ A classically-based theory of impossible worlds ⋮ An incompleteness theorem for modal relevant logics

This page was built for publication: Simplified semantics for basic relevant logics