Beth's tableau-method

Synthese 16 (1):7 - 26 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00873573

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

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

Cut-free tableau calculi for some propositional normal modal logics.Martin Amerbauer - 1996 - Studia Logica 57 (2-3):359 - 372.
A reasoning method for a paraconsistent logic.Arthur Buchsbaum & Tarcisio Pequeno - 1993 - Studia Logica 52 (2):281 - 289.
A sound and complete tableau calculus for reasoning about only knowing and knowing at most.Riccardo Rosati - 2001 - Studia Logica 69 (1):171-191.
Tableaux for łukasiewicz infinite-valued logic.Nicola Olivetti - 2003 - Studia Logica 73 (1):81 - 111.
Shortcuts and dynamic marking in the tableau method for adaptive logics.Diderik Batens & Joke Meheus - 2001 - Studia Logica 69 (2):221-248.
The relative complexity of analytic tableaux and SL-resolution.André Vellino - 1993 - Studia Logica 52 (2):323 - 337.
Model Generation from Constrained Free Variable.Jan van Eijck - unknown
Gts and interrogative tableaux.Stephen Harris - 1994 - Synthese 99 (3):329 - 343.
On Mannoury's method.E. W. Beth - 1956 - Synthese 10 (1):432 - 439.

Analytics

Added to PP
2009-01-28

Downloads
55 (#297,704)

6 months
8 (#414,134)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Symbolic logic.Clarence Irving Lewis - 1932 - [New York]: Dover Publications. Edited by Cooper Harold Langford.
Intuitionism.A. Heyting - 1971 - Amsterdam,: North-Holland Pub. Co..
Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
The foundations of mathematics.Evert Willem Beth - 1959 - Amsterdam,: North-Holland Pub. Co..
Formal methods.Evert Willem Beth - 1962 - New York,: Gordon & Breach.

Add more references