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

DOI10.1093/JIGPAL/12.5.355zbMATH Open1074.03008OpenAlexW2018217305MaRDI QIDQ4664019FDOQ4664019

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

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

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)

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)