๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Are tableaux an improvement on truth-tables?

โœ Scribed by Marcello D'Agostino


Book ID
104647379
Publisher
Springer Netherlands
Year
1992
Tongue
English
Weight
959 KB
Volume
1
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.

โœฆ Synopsis


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.


๐Ÿ“œ SIMILAR VOLUMES