Provability in logic

Stockholm,: Almqvist & Wiksell (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

BC135.K2

DOI

10.2307/2216419
View all bargains

Buy this book

Links

PhilArchive



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

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

Foundational studies: selected works.Andrzej Mostowski - 1979 - New York: sole distributor for the U.S.A. and Canada, Elsevier North-Holland. Edited by Kazimierz Kuratowski.
Proceedings of the Second Scandinavian Logic Symposium.Jens Erik Fenstad (ed.) - 1971 - Amsterdam,: North-Holland Pub. Co..
Thought and logic: the debates between German-speaking philosophers and symbolic logicians at the turn of the 20th century.Jarmo Pulkkinen - 2005 - New York: P. Lang.
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
Symbolic logic.John Venn - 1894 - New York,: B. Franklin.
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Principles of mathematical logic.David Hilbert - 1950 - Providence, R.I.: AMS Chelsea. Edited by W. Ackermann & Robert E. Luce.
From Peirce to Skolem: a neglected chapter in the history of logic.Geraldine Brady - 2000 - New York: North-Holland/Elsevier Science BV.
On strong provability predicates and the associated modal logics.Konstantin N. Ignatiev - 1993 - Journal of Symbolic Logic 58 (1):249-290.

Analytics

Added to PP
2009-09-15

Downloads
59 (#256,911)

6 months
10 (#187,567)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.
The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.
Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1):71-92.
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.

View all 42 citations / Add more citations

References found in this work

No references found.

Add more references