A generalization of the Routley-Meyer semantic framework

DOI10.1007/S10992-014-9328-4zbMath1329.03044OpenAlexW2032951832MaRDI QIDQ496325

Morgan Thomas

Publication date: 21 September 2015

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

Full work available at URL: https://doi.org/10.1007/s10992-014-9328-4

zbMATH Keywords

model theoryintuitionistic logicclassical logicrelevant logicsRoutley-Meyer semanticsGRM logicsuniversal logic

Mathematics Subject Classification ID

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

Related Items (2)

On Sahlqvist formulas in relevant logic ⋮ INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A generalization of the Routley-Meyer semantic framework