Routely-Meyer Semantics for some weak Boolean Logics, and some Translations

DOI10.1093/JIGPAL/12.5.355MaRDI QIDQ4664019zbMATH OpenOpenAlexFDO

Authors Eunsuk Yang

Publication date 5 April 2005

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/12.5.355

zbMATH Keywords

intuitionistic logicrelevance logicRoutley-Meyer semanticsDummett's logicstrict implication system of S4wB-ICwB-LCwB-S4weak Boolean negation

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Routley-Meyer ternary relational semantics for intuitionistic-type negations
• Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective
• Weak Logics with Strict Implication
• Completeness and conservative extension results for some Boolean relevant logics
• Relevance logics and intuitionistic negation

Cited in

(3)

• A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions
• Algebraic Kripke-style semantics for relevance logics
• Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B

This page was built for publication: Routely-Meyer Semantics for some weak Boolean Logics, and some Translations

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