Tableaux sin refutación

Download Edit this record How to cite View on PhilPapers
Motivated by H. Curry’s well-known objection and by a proposal of L. Henkin, this article introduces the positive tableaux, a form of tableau calculus without refutation based upon the idea of implicational triviality. The completeness of the method is proven, which establishes a new decision procedure for the (classical) positive propositional logic. We also introduce the concept of paratriviality in order to contribute to the question of paradoxes and limitations imposed by the behavior of classical implication.
PhilPapers/Archive ID
Upload history
Archival date: 2014-01-15
View other versions
Added to PP

157 (#43,317)

6 months
10 (#60,158)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?