Provability in Logic

Journal of Symbolic Logic 23 (1):37-38 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1958

DOI

10.2307/2964465

Other Versions

original Fischer, F. H. (1958) "Kanger Stig. Provability in logic. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 1. Almqvist and Wiksell, Stockholm 1957, 47 pp". Journal of Symbolic Logic 23(1):37-38

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,459

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.Stig Kanger - 1957 - Stockholm,: Almqvist & Wiksell.
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.
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 (eds.), 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 (eds.), Advances in Modal Logic. CSLI Publications. pp. 319-354.
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.
Logic of informal provability with truth values.Pawel Pawlowski & Rafal Urbaniak - 2023 - Logic Journal of the IGPL 31 (1):172-193.

Analytics

Added to PP
2017-02-21

Downloads
18 (#1,123,254)

6 months
4 (#1,272,377)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Philosophical implications of Tarski's work.Patrick Suppes - 1988 - Journal of Symbolic Logic 53 (1):80-91.
Validity and Necessity.Roberta Ballarin - 2005 - Journal of Philosophical Logic 34 (3):275-303.
Infinitary formulas preserved under unions of models.Bienvenido F. Nebres - 1972 - Journal of Symbolic Logic 37 (3):449-465.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references