Studia Logica 48 (2):169 - 177 (1989)
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
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
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.
Review: Hao Wang, Remarks on the Comparison of Axiom Systems. [REVIEW]Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (2):142-143.
Citations of this work BETA
No citations found.
Similar books and articles
The First-Order Structure of Weakly Dedekind-Finite Sets.A. C. Walczak-Typke - 2005 - Journal of Symbolic Logic 70 (4):1161 - 1170.
Compactness and Independence in Non First Order Frameworks.Itay Ben-Yaacov - 2005 - Bulletin of Symbolic Logic 11 (1):28-50.
New Work for Carnap's Quasi-Analysis.Thomas Mormann - 2009 - Journal of Philosophical Logic 38 (3):249-282.
A Critical Appraisal of Second-Order Logic.Ignacio Jané - 1993 - History and Philosophy of Logic 14 (1):67-86.
Strict Embedding of the Elementary Ontology Into the Monadic Second-Order Calculus of Predicates Admitting the Empty Individual Domain.Vladimir A. Smirnov - 1987 - Studia Logica 46 (1):1 - 15.
On the Emptiness of the Stability Set of Order D.Mathieu Martin - 2002 - Theory and Decision 52 (4):313-326.
Quasi-Modal Equivalence of Canonical Structures.Robert Goldblatt - 2001 - Journal of Symbolic Logic 66 (2):497-508.
Epsilon-Logic is More Expressive Than First-Order Logic Over Finite Structures.Martin Otto - 2000 - Journal of Symbolic Logic 65 (4):1749-1757.
Issues in the Foundations of Science, I: Languages, Structures, and Models.Newton C. A. da Costa, Décio Krause & Otávio Bueno - 2010 - Manuscrito 33 (1):123-141.
Added to index2009-01-28
Total downloads20 ( #238,317 of 2,146,969 )
Recent downloads (6 months)2 ( #278,852 of 2,146,969 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.