Are tableaux an improvement on truth-tables?

Journal of Logic, Language and Information 1 (3):235-252 (1992)
  Copy   BIBTEX


We show that Smullyan's analytic tableaux cannot p-simulate the truth-tables. We identify the cause of this computational breakdown and relate it to an underlying semantic difficulty which is common to the whole tradition originating in Gentzen's sequent calculus, namely the dissonance between cut-free proofs and the Principle of Bivalence. Finally we discuss some ways in which this principle can be built into a tableau-like method without affecting its analytic nature.



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

External links

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

Through your library


Added to PP

59 (#248,939)

6 months
3 (#503,027)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Marcello D'Agostino
Università degli Studi di Milano

References found in this work

First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
First-order Logic.William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.
Formal logic: its scope and limits.Richard C. Jeffrey - 1967 - Indianapolis, IN: Hackett.

View all 16 references / Add more references