Relevant analytic tableaux

DOI10.1007/BF00370441MaRDI QIDQ1257473zbMATH OpenWikidataFDO

Authors 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)

Cites work

• scientific article; zbMATH DE number 3113496 (Why is no real title available?)
• scientific article; zbMATH DE number 3762023 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1269493 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3328126 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• A Decision Procedure For the System E_Ī of Entailment with Negation
• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
• Analytic natural deduction
• Conservative extension in relevant implication
• Finite nest structures and propositional logic
• Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968
• Intuitive semantics for first-degree entailments and `coupled trees'
• Semantics for relevant logics
• Tableau systems for first order number theory and certain higher order theories
• The foundations of mathematics. A study in the philosophy of science
• Trees and nest structures
• Truth, syntax and modality. Proceedings of the Temple University conference on alternative semantics
• Untersuchungen über das logische Schliessen. I

Cited in

(4)

• European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
• A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
• Cut and gamma. I: Propositional and constant domain \textbf{R}
• Relevance-Sensitive Truth-Trees

This page was built for publication: Relevant analytic tableaux

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