A Routley-Meyer type semantics for relevant logics including B_ r plus the disjunctive syllogism

DOI10.1007/S10992-009-9117-7zbMATH Open1198.03030OpenAlexW2145191092MaRDI QIDQ965858FDOQ965858

Authors: 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

Recommendations

• A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
• Simplified semantics for basic relevant logics
• Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules
• A Routley-Meyer semantics for Ackermann's logics of ``strenge Implikation
• scientific article; zbMATH DE number 4061202

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)

Cites Work

• The semantics of entailment. III
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• E, R AND γ
• Algebraic completeness results for R-mingle and its extensions
• Title not available (Why is that?)
• Title not available (Why is that?)
• The basic constructive logic for a weak sense of consistency
• Begründung einer strengen Implikation
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
• Title not available (Why is that?)

Cited In (18)

• Title not available (Why is that?)
• INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
• Simplified semantics for relevant logics (and some of their rivals)
• Two manuscripts, one by Routley, one by Meyer: the origins of the Routley-Meyer semantics for relevance logics
• A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
• A Routley-Meyer affixing style semantics for logics containing Aristotle's thesis
• A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions
• Routley-Meyer ternary relational semantics for intuitionistic-type negations
• The relevant fragment of first order logic
• On permutation in simplified semantics
• Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules
• On Sahlqvist formulas in relevant logic
• A plea for KR
• Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
• A Routley-Meyer semantics for Ackermann's logics of ``strenge Implikation
• Title not available (Why is that?)
• The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points

Uses Software

• MaGIC

This page was built for publication: A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q965858)