Completeness and conservative extension results for some Boolean relevant logics

DOI10.1007/BF00370629zbMath0694.03012MaRDI QIDQ908897

Robert K. Meyer, Steve Giambrone

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

completenesssemanticsconservative extensionticket entailmentrelevant implicationBoolean extensions of relevant logicscontraction-freeRWsemantic normalityTW

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (3)

Non-Boolean classical relevant logics. II: Classicality through truth-constants ⋮ Gentzenizations of relevant logics with distribution ⋮ Simplified semantics for relevant logics (and some of their rivals)

Cites Work

• A metacompleteness theorem for contraction-free relevant logics
• Where gamma fails
• \(TW_+\) and \(RW_+\) are decidable
• Classical relevant logics. I
• Classical relevant logics. II
• The semantics of entailment. III
• New axiomatics for relevant logics. I
• A constructive analysis of RM
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Completeness and conservative extension results for some Boolean relevant logics