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

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

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

Provability in Logic.Roland Hall - 1960 - Philosophical Quarterly 10 (41):376-376.
Belief, provability, and logic programs.José Júlio Alferes & Luís Moniz Pereira - 1995 - Journal of Applied Non-Classical Logics 5 (1):31-50.
Provability multilattice logic.Yaroslav Petrukhin - 2022 - Journal of Applied Non-Classical Logics 32 (4):239-272.
Kanger Stig. Provability in logic. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 1. Almqvist and Wiksell, Stockholm 1957, 47 pp. [REVIEW]F. H. Fischer - 1958 - Journal of Symbolic Logic 23 (1):37-38.
A Modal Analysis of Some Principles of the Provability of Logic of Heyting Arithmetic.Rosalie Iemhoff - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 319-354.
A Modal Analysis of Some Principles of the Provability of Logic of Heyting Arithmetic.Rosalie Iemhoff - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 319-354.
Collected Papers of Stig Kanger with Essays on His Life and Work, Volume 1.Stig Kanger - 2001 - Dordrecht and London: Kluwer Academic Publishers.
Stig Kanger and Helle Kanger. Rights and parliamentarism. Theoria , vol. 32 , pp. 85–115.Nicholas A. Vonneuman - 1971 - Journal of Symbolic Logic 36 (1):183.

Analytics

Added to PP
2009-09-15

Downloads
71 (#307,108)

6 months
6 (#572,300)

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