Relevance-Sensitive Truth-Trees

DOI10.1007/978-3-030-71430-7_2MaRDI QIDQ5027231zbMATH OpenOpenAlexFDO

Authors 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

decomposition treesexplosionnatural deductionparityrelevance logicrelevance-sensitivitysemantic tableauxtruth-treesvariable-sharing

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 6868329
• scientific article; zbMATH DE number 2101978
• Relational proof system for relevant logics
• scientific article; zbMATH DE number 4179336
• Intuitive semantics for first-degree entailment and `coupled trees'

Cites work

• A tableau style proof system for two paraconsistent logics
• An introduction to non-classical logic. From if to is
• Beth's tableaux for relevant logic
• Conceptions of Set and the Foundations of Mathematics
• Handbook of philosophical logic. Vol. 6
• scientific article; zbMATH DE number 3908410 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3544011 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 6868329 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 2196616 (Why is no real title available?)
• scientific article; zbMATH DE number 2205635 (Why is no real title available?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Larisa Maksimova’s Early Contributions to Relevance Logic
• Normalized natural deduction systems for some relevant logics I: The logic DW
• Philosophical logic
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• Relevance Logic as a Conservative Extension of Classical Logic
• Relevance logic: problems open and closed
• Relevant analytic tableaux
• Richard Routley, "Semantic Analysis of Entailment and Relevant Implication: I"
• Semantics for relevant logics
• Sets, logic and maths for computing
• Tableau methods for substructural logics
• The connectives
• The undecidability of entailment and relevant implication
• Theory of effective propositional paraconsistent logics
• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• Three views of logic. Mathematics, philosophy, and computer science
• Two manuscripts, one by Routley, one by Meyer: the origins of the Routley-Meyer semantics for relevance logics
• What is relevance logic?
• Whither relevance logic?
• Without Loss of Generality

Cited in

(3)

• Relevance sensitive belief structures
• scientific article; zbMATH DE number 4179336 (Why is no real title available?)
• Relational proof system for relevant logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5027231)