Relevance-Sensitive Truth-Trees

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

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

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'

zbMATH Keywords

explosionnatural deductionparitysemantic tableauxrelevance logicvariable-sharingtruth-treesdecomposition treesrelevance-sensitivity

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• The connectives
• An introduction to non-classical logic. From if to is
• Title not available (Why is that?)
• The undecidability of entailment and relevant implication
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Tableau methods for substructural logics
• Three views of logic. Mathematics, philosophy, and computer science
• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• Whither relevance logic?
• Handbook of philosophical logic. Vol. 6
• What is relevance logic?
• Semantics for relevant logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Normalized natural deduction systems for some relevant logics I: The logic DW
• Without Loss of Generality
• Theory of effective propositional paraconsistent logics
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• A tableau style proof system for two paraconsistent logics
• Relevance logic: problems open and closed
• Beth's tableaux for relevant logic
• Title not available (Why is that?)
• Relevance Logic as a Conservative Extension of Classical Logic
• Larisa Maksimova’s Early Contributions to Relevance Logic
• Relevant analytic tableaux
• Philosophical logic
• Conceptions of Set and the Foundations of Mathematics
• 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"
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sets, logic and maths for computing

Cited In (3)

• Relational proof system for relevant logics
• Relevance sensitive belief structures
• Title not available (Why is that?)

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)