On the Concepts of Completeness and Interpretation of Formal Systems

&
Journal of Symbolic Logic 24 (3):236-238 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963817

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

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

Two concepts of validity and completeness.Jaroslav Peregrin - unknown
Remarks on the completeness of logical systems relative to the validity-concepts of P. Lorenzen and K. Lorenz.Wolfgang Stegmüller - 1964 - Notre Dame Journal of Formal Logic 5 (2):81-112.
Mathematical interpretation of formal systems.Thoralf Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin & J. Łoś (eds.) - 1955 - Amsterdam: North-Holland Pub. Co..
Some Concepts Concerning Formal Systems of Number Theory.Georg Kreisel - 1966 - Journal of Symbolic Logic 31 (1):128-128.
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus.Wil Dekkers, Martin Bunder & Henk Barendregt - 1998 - Archive for Mathematical Logic 37 (5-6):327-341.
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic.Wil Dekkers, Martin Bunder & Henk Barendregt - 1998 - Journal of Symbolic Logic 63 (3):869-890.
Review: Georg Kreisel, Some Concepts Concerning Formal Systems of Number Theory. [REVIEW]Gert H. Muller - 1966 - Journal of Symbolic Logic 31 (1):128-128.
The completeness of $S1$ and some related systems.Max J. Cresswell - 1972 - Notre Dame Journal of Formal Logic 13 (4):485-496.
The Semantic Completeness of a Global Intuitionistic Logic.Hiroshi Aoyama - 1998 - Mathematical Logic Quarterly 44 (2):167-175.
A Deontic Counterpart of Lewis's S1.Kam Sing Leung & R. E. Jennings - 2005 - Notre Dame Journal of Formal Logic 46 (2):217-230.
The mathematics of logic: a guide to completeness theorems and their applications.Richard Kaye - 2007 - New York: Cambridge University Press.
Alternative completeness theorems for modal systems.M. J. Cresswell - 1967 - Notre Dame Journal of Formal Logic 8 (4):339-345.
E. W. Beth. Completeness results for formal systems. Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press1960, pp. 281–288. [REVIEW]Dana Scott - 1962 - Journal of Symbolic Logic 27 (1):110-110.
Basic concepts of formal ontology.Barry Smith - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 19-28.
Aspects of Independence and Determinacy in Qm and Realism.Phillip Walter Hoffmann - 1999 - Dissertation, University of Calgary (Canada)

Analytics

Added to PP
2015-02-05

Downloads
13 (#1,042,339)

6 months
1 (#1,478,500)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references