Review: Thoralf Skolem, On the Proofs of Independence of the Axioms of the Classical Sentential Calculus [Book Review]

&
Journal of Symbolic Logic 18 (1):67-67 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266331

Links

PhilArchive



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

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

Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
On the independence of the Bigos-Kalmár axioms for sentential calculus.Robert C. Flagg - 1978 - Notre Dame Journal of Formal Logic 19 (2):285-288.
Interpretation of Mathematical Theories in the First Order Predicate Calculus.Thoralf Skolem - 1961 - In Selected Works in Logic. Universitetsforlaget. pp. 673--80.
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI.Joanna Golinska-Pilarek - 2007 - Journal of Applied Non-Classical Logics 17 (4):509–517.
Sur la Porté du Théorème Löwenheim-Skolem.Thoralf Skolem - 1941 - In Selected Works in Logic. Universitetsforlaget. pp. 455--82.
Review: Andrzej Mostowski, Proofs of Non-Deducibility in Intuitionistic Functional Calculus. [REVIEW]Th Skolem - 1949 - Journal of Symbolic Logic 14 (2):137-137.
That SCI has the interpolation property.Grzegorz Malinowski & Marek Michalczyk - 1982 - Studia Logica 41 (4):375 - 380.
Review: Dana Scott, Completeness Proofs for the Intuitionistic Sentential Calculus. [REVIEW]Gene F. Rose - 1960 - Journal of Symbolic Logic 25 (4):351-351.
Finding missing proofs with automated reasoning.Branden Fitelson & Larry Wos - 2001 - Studia Logica 68 (3):329-356.
Review: G. E. Hughes, The Independence of Axioms in the Propositional Calculus. [REVIEW]M. D. Gladstone - 1971 - Journal of Symbolic Logic 36 (3):546-546.
Review: Thoralf A. Skolem, Abstract Set Theory. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):680-680.
Review: Thoralf Skolem, The Development of Recursive Arithmetic. [REVIEW]David Nelson - 1948 - Journal of Symbolic Logic 13 (1):54-54.
Review: Maurice L'Abbe, On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus. [REVIEW]Sören Halldén - 1951 - Journal of Symbolic Logic 16 (3):228-228.

Analytics

Added to PP
2013-11-22

Downloads
6 (#1,454,899)

6 months
2 (#1,187,206)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nicholas Rescher
University of Pittsburgh

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references