Are Tableaux an Improvement of Truth-Tables? Cut-Free Proofs and Bivalence

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Are tableaux an improvement on truth-tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.
Free-variable tableaux for propositional modal logics.Bernhard Beckert & Rajeev GorÉ - 2001 - Studia Logica 69 (1):59-96.
Analytic cut trees.Carlo Cellucci - 2000 - Logic Journal of the IGPL 8 (6):733-750.
Excluded middle and bivalence.TimothyJ Day - 1992 - Erkenntnis 37 (1):93 - 97.
The Complexity of Analytic Tableaux.Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart - 2006 - Journal of Symbolic Logic 71 (3):777 - 790.
Truth and Bivalence in Aristotle. An Investigation into the Structure of Saying.Paloma Pérez-Ilzarbe & María Cerezo - 2014 - In N. Öffenberger & A. Vigo (eds.), Zur modernen Deutung der Aristotelischen Logik. G. Olms.
Classical logic and truth-value gaps.Philip Hugly & Charles Sayward - 1992 - Philosophical Papers 21 (2):141-150.
Pragmatism and bivalence.Cheryl Misak - 1990 - International Studies in the Philosophy of Science 4 (2):171 – 179.
Truth, Falsity, and Borderline Cases.Timothy Williamson - 2000 - Philosophical Topics 28 (1):211-244.
Quine's relativism.Philip Hugly & Charles Sayward - 1990 - Ratio 3 (2):142-149.
Abduction through semantic tableaux versus abduction through goal-directed proofs.Joke Meheus & Dagmar Provijn - 2007 - Theoria 22 (3):295-304.
Constrained Hyper Tableaux.Jan van Eijck - unknown
The necessity of tomorrow's sea battle.Jeremy Byrd - 2010 - Southern Journal of Philosophy 48 (2):160-176.

Analytics

Added to PP
2014-04-05

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Cut and pay.Marcelo Finger & Dov Gabbay - 2006 - Journal of Logic, Language and Information 15 (3):195-218.

Add more citations

References found in this work

No references found.

Add more references