Relevant analytic tableaux
type: Item
instance of: scholarly article
title: Relevant analytic tableaux
zbMATH Open document ID: 0406.03032
DOI: 10.1007/BF00370441
author: Michael A. McRobbie
author: Nuel D. jun. Belnap
published in: Studia Logica
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 3630710
zbMATH Keywords: Entailment
zbMATH Keywords: Cutfree Systems
zbMATH Keywords: Implication-Nagation Fragments of Relevant Logics
zbMATH Keywords: Analytic Tableau Formulations
Wikidata QID: Q29011773
MaRDI profile type: Publication
cites work: Q4085699
cites work: A Decision Procedure For the System EĪ of Entailment with Negation
cites work: The foundations of mathematics. A study in the philosophy of science
cites work: Q5547552
cites work: Q3944577
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Untersuchungen über das logische Schliessen. I
cites work: Q5610986
cites work: Q3227561
cites work: Q4236324
cites work: Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968
cites work: Truth, syntax and modality. Proceedings of the Temple University conference on alternative semantics
cites work: Conservative extension in relevant implication
cites work: Q4077984
cites work: A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
cites work: Analytic natural deduction
cites work: Finite nest structures and propositional logic
cites work: Trees and nest structures
cites work: Q5560258
cites work: Q5606558
cites work: Tableau systems for first order number theory and certain higher order theories
cites work: Semantics for relevant logics
description: scientific article; zbMATH DE number 3630710