First order logic with empty structures

Studia Logica 48 (2):169 - 177 (1989)
  Copy   BIBTEX

Abstract

For first order languages with no individual constants, empty structures and truth values (for sentences) in them are defined. The first order theories of the empty structures and of all structures (the empty ones included) are axiomatized with modus ponens as the only rule of inference. Compactness is proved and decidability is discussed. Furthermore, some well known theorems of model theory are reconsidered under this new situation. Finally, a word is said on other approaches to the whole problem

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
43 (#322,999)

6 months
4 (#315,908)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
Quantification and the empty domain.W. V. Quine - 1954 - Journal of Symbolic Logic 19 (3):177-179.
Quantification theory and empty individual-domains.Theodore Hailperin - 1953 - Journal of Symbolic Logic 18 (3):197-200.
Some Impredicative Definitions in the Axiomatic Set-Theory.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (4):274-275.

View all 6 references / Add more references