Direct Tableaux Proofs

Analysis 41 (4):192 - 194 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/analys/41.4.192

Links

PhilArchive



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

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.
Abduction through semantic tableaux versus abduction through goal-directed proofs.Joke Meheus & Dagmar Provijn - 2007 - Theoria 22 (3):295-304.
Free-variable tableaux for propositional modal logics.Bernhard Beckert & Rajeev GorÉ - 2001 - Studia Logica 69 (1):59-96.
Automated natural deduction in thinker.Francis Jeffry Pelletier - 1998 - Studia Logica 60 (1):3-43.
Analytic cut trees.Carlo Cellucci - 2000 - Logic Journal of the IGPL 8 (6):733-750.
Are tableaux an improvement on truth-tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.
Constrained Hyper Tableaux.Jan van Eijck - unknown
Dialogue sequents and quick proofs of completeness.Eric C. W. Krabbe - 1988 - In Jakob Hoepelman (ed.), Representation and Reasoning: Proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming. M. Niemeyer Verlag.
First-order multi-modal deduction.Matthew Stone - unknown
Socratic proofs.Andrzej Wiśniewski - 2004 - Journal of Philosophical Logic 33 (3):299-326.
Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.
Das Problem der apagogischen Beweise in Bolzanos Beyträgen und seiner Wissenschaftslehre.Stefania Centrone - 2012 - History and Philosophy of Logic 33 (2):127 - 157.
Modal tableaux for reasoning about diagrams.Luis Fariñas del Cerro & Olivier Gasquet - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):169-184.

Analytics

Added to PP
2011-05-29

Downloads
41 (#379,234)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logic and reasoning.Laurence Goldstein - 1988 - Erkenntnis 28 (3):297 - 320.

Add more citations

References found in this work

No references found.

Add more references