A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains”
A theory of prepositional types
Attributes, sets, partial sets and identity
P. C. Gilmore (1968)
Compositio Mathematica
Similarity:
Relativization with respect to formulas and its use in proofs of independence
Leon Henkin (1968)
Compositio Mathematica
Similarity:
Some impredicative definitions in the axiomatic set theory
Andrzej Mostowski (1950)
Fundamenta Mathematicae
Similarity:
Semantics of the predicate calculus with identity and the validity in the empty individual-domain
Schneider, Hubert H. (1958)
Portugaliae mathematica
Similarity:
The logic of negationless mathematics
P. G. J. Vredenduin (1953)
Compositio Mathematica
Similarity:
Ambiguity and stratification
Marcel Crabbé (1978)
Fundamenta Mathematicae
Similarity:
Sequents in many valued logic I
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
On the concepts of completeness and interpretation of formal systems
G. Kreisel (1952)
Fundamenta Mathematicae
Similarity: