Relevance-Sensitive Truth-Trees

DOI10.1007/978-3-030-71430-7_2OpenAlexW3204636060MaRDI QIDQ5027231

David Makinson

Publication date: 4 February 2022

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-71430-7_2

zbMATH Keywords

natural deductionrelevance logicexplosionsemantic tableauxparityvariable-sharingtruth-treesdecomposition treesrelevance-sensitivity

Mathematics Subject Classification ID

General logic (03Bxx) Algebraic logic (03Gxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• What is relevance logic?
• Beth's tableaux for relevant logic
• Whither relevance logic?
• Relevant analytic tableaux
• A tableau style proof system for two paraconsistent logics
• Handbook of philosophical logic. Vol. 6
• Intuitive semantics for first-degree entailments and `coupled trees'
• Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics
• Richard Routley, "Semantic Analysis of Entailment and Relevant Implication: I"
• Without Loss of Generality
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• The undecidability of entailment and relevant implication
• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• Conceptions of Set and the Foundations of Mathematics
• Larisa Maksimova’s Early Contributions to Relevance Logic
• Relevance Logic as a Conservative Extension of Classical Logic
• Normalized natural deduction systems for some relevant logics I: The logic DW
• Semantics for relevant logics
• Sets, logic and maths for computing

This page was built for publication: Relevance-Sensitive Truth-Trees