Relevant analytic tableaux

Studia Logica 38:187 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00370441

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Complexity of Analytic Tableaux.Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart - 2006 - Journal of Symbolic Logic 71 (3):777 - 790.
Analytic cut trees.Carlo Cellucci - 2000 - Logic Journal of the IGPL 8 (6):733-750.
Tableaux variants of some modal and relevant systems.P. I. Bystrov - 1988 - Bulletin of the Section of Logic 17 (3/4):92-98.
Are tableaux an improvement on truth-tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.
Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets.Tomasz Jarmużek - 2007 - Logic and Logical Philosophy 16 (1):85-101.
Combinatorial Analytic Tableaux.Robert Cowen - 1993 - Reports on Mathematical Logic:29-39.
Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.
First-Order Tableaux with Sorts.Christoph Weidenbach - 1995 - Logic Journal of the IGPL 3 (6):887-906.
On the Computational Intractability of Analytic Tableau Methods.Neil Murray & Erik Rosenthal - 1994 - Logic Journal of the IGPL 2 (2):205-228.
Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings.Pierangelo Miglioli, Ugo Moscato, Daniele Mundici & Mario Ornaghi - 1996 - Springer Verlag.
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings.Peter Baumgartner, F. Hahnle, Iner Hahnle & Joachim Posegga - 1995 - Springer Verlag.
Paraconsistency and Analyticity.Carlos A. OLLER - 1999 - Logic and Logical Philosophy 7 (1):91-99.
Constrained Hyper Tableaux.Jan van Eijck - unknown
An Analytic Tableaux Model for Deductive Mastermind Empirically Tested with a Massively Used Online Learning System.Nina Gierasimczuk, Han L. J. van der Maas & Maartje E. J. Raijmakers - 2013 - Journal of Logic, Language and Information 22 (3):297-314.

Analytics

Added to PP
2017-02-21

Downloads
10 (#1,189,467)

6 months
3 (#965,065)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nuel Belnap
University of Pittsburgh

Citations of this work

Multisets and relevant implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.
Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Relevance via decomposition.David Makinson - 2017 - Australasian Journal of Logic 14 (3).
Cut and gamma I: Propositional and constant domain R.Yale Weiss - 2020 - Review of Symbolic Logic 13 (4):887-909.

Add more citations

References found in this work

No references found.

Add more references