Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus

Journal of Symbolic Logic 18 (2):180-181 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268960

Links

PhilArchive



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

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

Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II.G. Kreisel - 1956 - Journal of Symbolic Logic 21 (4):403-404.
Review: G. Kreisel, Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus. [REVIEW]Hao Wang - 1953 - Journal of Symbolic Logic 18 (2):180-181.
Review: G. Kreisel, Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):403-404.
Kreisel G.. Note on arithmetic models for consistent formulae of the predicate calculus. Fundamenta mathematicae, vol. 37 , pp. 265–285. [REVIEW]Hao Wang - 1953 - Journal of Symbolic Logic 18 (2):180-181.
Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II.G. Kreisel - 1953 - Proceedings of the XIth International Congress of Philosophy 14:39-49.
Kreisel G.. Note on arithmetic models for consistent formulae of the predicate calculus II. Actes du Xlème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, und Éditions E. Nauwelaerts, Leuven 1953, S. 39–49. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):403-404.
An interpretation of a certain fragment of arithmetic in some propositional calculus.Zdzislaw Dywan - 1984 - Bulletin of the Section of Logic 13 (2):99-103.
Basic Predicate Calculus.Wim Ruitenburg - 1998 - Notre Dame Journal of Formal Logic 39 (1):18-46.
Probability: A new logico-semantical approach. [REVIEW]Christina Schneider - 1994 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 25 (1):107 - 124.
A Tree-sequent Calculus For A Natural Predicate Extension Of Visser's Propositional Logic.Ryo Ishigaki & Kentaro Kikuchi - 2007 - Logic Journal of the IGPL 15 (2):149-164.
A note on definability in fragments of arithmetic with free unary predicates.Stanislav O. Speranski - 2013 - Archive for Mathematical Logic 52 (5-6):507-516.
Completeness and representation theorem for epistemic states in first-order predicate calculus.Serge Lapierre & François Lepage - 1999 - Logica Trianguli 3:85-109.
Omega-inconsistency without cuts and nonstandard models.Andreas Fjellstad - 2016 - Australasian Journal of Logic 13 (5).
Arithmetic complexity of the predicate logics of certain complete arithmetic theories.Valery Plisko - 2001 - Annals of Pure and Applied Logic 113 (1-3):243-259.
Mechanical theorem proving in a certain class of formulae of the predicate calculus.Ewa Orłowska - 1969 - Studia Logica 25 (1):17 - 29.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,540,694)

6 months
2 (#1,198,893)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Incompleteness Via Paradox and Completeness.Walter Dean - 2020 - Review of Symbolic Logic 13 (3):541-592.
On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.
Bernays and the Completeness Theorem.Walter Dean - 2017 - Annals of the Japan Association for Philosophy of Science 25:45-55.

Add more citations

References found in this work

No references found.

Add more references