A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains
Schneider, Hubert H. (1961)
Portugaliae mathematica
Similarity:
Displaying similar documents to “Semantics of the predicate calculus with identity and the validity in the empty individual-domain”
A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains
Attributes, sets, partial sets and identity
P. C. Gilmore (1968)
Compositio Mathematica
Similarity:
On the concepts of completeness and interpretation of formal systems
G. Kreisel (1952)
Fundamenta Mathematicae
Similarity:
Relativization with respect to formulas and its use in proofs of independence
Leon Henkin (1968)
Compositio Mathematica
Similarity:
Generalized interpretability in terms of models. (Note to a paper of R. Montague.)
Petr Hájek (1966)
Časopis pro pěstování matematiky
Similarity:
A complete, infinitary axiomatization of weak second-order logic
E. Lopez-Escobar (1967)
Fundamenta Mathematicae
Similarity:
Completeness theorems for some presupposition-free logics
H. Leblanc, R. H. Thomason (1968)
Fundamenta Mathematicae
Similarity:
Ambiguity and stratification
Marcel Crabbé (1978)
Fundamenta Mathematicae
Similarity: