Relevant analytic tableaux

DOI10.1007/BF00370441zbMath0406.03032WikidataQ29011773 ScholiaQ29011773MaRDI QIDQ1257473

Michael A. McRobbie, Nuel D. jun. Belnap

Publication date: 1979

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

zbMATH Keywords

EntailmentAnalytic Tableau FormulationsCutfree SystemsImplication-Nagation Fragments of Relevant Logics

Mathematics Subject Classification ID

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

Related Items (4)

A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R ⋮ Relevance-Sensitive Truth-Trees

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The foundations of mathematics. A study in the philosophy of science
• Tableau systems for first order number theory and certain higher order theories
• Intuitive semantics for first-degree entailments and `coupled trees'
• Untersuchungen über das logische Schliessen. I
• Conservative extension in relevant implication
• Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968
• Truth, syntax and modality. Proceedings of the Temple University conference on alternative semantics
• A Decision Procedure For the System E_Ī of Entailment with Negation
• Analytic natural deduction
• Trees and nest structures
• Finite nest structures and propositional logic
• Semantics for relevant logics
• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY

This page was built for publication: Relevant analytic tableaux