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

DOI10.1093/JIGPAL/12.5.355zbMath1074.03008OpenAlexW2018217305MaRDI QIDQ4664019

Eunsuk Yang

Publication date: 5 April 2005

Published in: Unnamed Author (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)

Related Items (1)

Algebraic Kripke-style semantics for relevance logics

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