Semantic tableaux in LPF and the adequacy theorem

&
Bulletin of Symbolic Logic 5 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

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

How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic Q.Dan E. Willard - 2002 - Journal of Symbolic Logic 67 (1):465-496.
Theorem Proving and Model Building with the Calculus KE.Jeremy Pitt & Jim Cunningham - 1996 - Logic Journal of the IGPL 4 (1):129-150.
On Herbrand theorem.A. Lyaletski - 2001 - Bulletin of Symbolic Logic 7 (1):132-133.
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings.Peter Baumgartner, F. Hahnle, Iner Hahnle & Joachim Posegga - 1995 - Springer Verlag.
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings.Pierangelo Miglioli, Ugo Moscato, Daniele Mundici & Mario Ornaghi - 1996 - Springer Verlag.
Feferman’s Completeness Theorem.Fedor Pakhomov, Michael Rathjen & Dino Rossegger - forthcoming - Bulletin of Symbolic Logic:1-21.
Automatic Theorem Proving with Renamable and Semantic Resolution.James R. Slagle - 1970 - Journal of Symbolic Logic 35 (4):595-596.
In Memoriam: Albert G. Dragalin 1941–1998.S. Artemov, B. Kushner, G. Mints, E. Nogina & A. Troelstra - 1999 - Bulletin of Symbolic Logic 5 (3):389-391.
In memoriam: Leon Albert Henkin, 1921—2006.J. Donald Monk - 2009 - Bulletin of Symbolic Logic 15 (3):326-331.
Classical Mathematical Logic. The Semantic Foundations of Logic.Richard L. Epstein - 2007 - Bulletin of Symbolic Logic 13 (4):540-541.

Analytics

Added to PP
2014-03-28

Downloads
17 (#1,138,631)

6 months
5 (#1,015,253)

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

No references found.

Add more references