New axiomatics for relevant logics. I

DOI10.1007/BF00652071zbMath0278.02025MaRDI QIDQ1394338

Robert K. Meyer

Publication date: 1974

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

Mathematics Subject Classification ID

General logic (03B99)

Related Items

\(\mathbf R\) and relevance principle revisited ⋮ Non-Boolean classical relevant logics. II: Classicality through truth-constants ⋮ The original sin of proof-theoretic semantics ⋮ Completeness and conservative extension results for some Boolean relevant logics ⋮ Non-Boolean classical relevant logics. I ⋮ Australasian Association for Logic 30th Anniversary Conference ⋮ Implementing the `Fool's model' of combinatory logic ⋮ Classical relevant logics. II ⋮ Algebraic analysis of demodalised analytic implication ⋮ A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic ⋮ Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras ⋮ Relevance Logic as a Conservative Extension of Classical Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Applications of Scott's notion of consequence to the study of general binary intensional connectives and entailment
• Classical relevant logics. I
• Classical relevant logics. II
• The semantics of entailment. III
• New foundations for Lewis modal systems
• The pure calculus of entailment
• Completeness of weak implication
• Computational speed-up by effective operators