Studia Logica 48 (2):169 - 177 (1989)
|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|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
A. C. Walczak-Typke (2005). The First-Order Structure of Weakly Dedekind-Finite Sets. Journal of Symbolic Logic 70 (4):1161 - 1170.
Martin Otto (2000). Epsilon-Logic is More Expressive Than First-Order Logic Over Finite Structures. Journal of Symbolic Logic 65 (4):1749-1757.
Robert Goldblatt (2001). Quasi-Modal Equivalence of Canonical Structures. Journal of Symbolic Logic 66 (2):497-508.
Mathieu Martin (2002). On the Emptiness of the Stability Set of Order D. Theory and Decision 52 (4):313-326.
Vladimir A. Smirnov (1987). Strict Embedding of the Elementary Ontology Into the Monadic Second-Order Calculus of Predicates Admitting the Empty Individual Domain. Studia Logica 46 (1):1 - 15.
Ignacio Jané (1993). A Critical Appraisal of Second-Order Logic. History and Philosophy of Logic 14 (1):67-86.
Timothy J. Carlson (2003). Ranked Partial Structures. Journal of Symbolic Logic 68 (4):1109-1144.
Thomas Mormann (2009). New Work for Carnap's Quasi-Analysis. Journal of Philosophical Logic 38 (3):249-282.
Itay Ben-Yaacov (2005). Compactness and Independence in Non First Order Frameworks. Bulletin of Symbolic Logic 11 (1):28-50.
Added to index2009-01-28
Total downloads5 ( #169,891 of 722,745 )
Recent downloads (6 months)1 ( #60,247 of 722,745 )
How can I increase my downloads?