A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism

DOI10.1007/s10992-009-9117-7zbMath1198.03030OpenAlexW2145191092MaRDI QIDQ965858

B. E. Eshmatov

Publication date: 26 April 2010

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-009-9117-7

zbMATH Keywords

relevant logicsRoutley-Meyer semanticsdisjunctive syllogismAckermann's \(\Pi\) and \(\Pi'\)

Mathematics Subject Classification ID

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

Related Items

On Sahlqvist formulas in relevant logic ⋮ INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY ⋮ A plea for KR ⋮ THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC

Uses Software

• MaGIC

Cites Work

• The basic constructive logic for a weak sense of consistency
• The semantics of entailment. III
• A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
• Begründung einer strengen Implikation
• E, R AND γ
• Algebraic completeness results for R-mingle and its extensions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item