CE is not a conservative extension of E

DOI10.1023/A:1004731401855zbMath0958.03014MaRDI QIDQ1576386

Edwin D. Mares

Publication date: 22 March 2001

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

zbMATH Keywords

modal logicrelevant logicentailmentrelevance logicBoolean negation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (5)

Current trends in substructural logics ⋮ Non-Boolean classical relevant logics. II: Classicality through truth-constants ⋮ Neighbourhood semantics for modal relevant logics ⋮ Relevance logics and intuitionistic negation ⋮ An incompleteness theorem for modal relevant logics

Cites Work

• Classical relevant logics. I
• Classical relevant logics. II
• The semantics of entailment. III
• Gentzenizations of relevant logics without distribution. I
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: CE is not a conservative extension of E