The logic of negationless mathematics
P. G. J. Vredenduin (1953)
Compositio Mathematica
Similarity:
Displaying similar documents to “Completeness theorems for some presupposition-free logics”
The logic of negationless mathematics
Relativization with respect to formulas and its use in proofs of independence
Leon Henkin (1968)
Compositio Mathematica
Similarity:
Ambiguity and stratification
Marcel Crabbé (1978)
Fundamenta Mathematicae
Similarity:
A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains
Schneider, Hubert H. (1961)
Portugaliae mathematica
Similarity:
Combinatory logic and the ω-rule
Henk Barondregt (1974)
Fundamenta Mathematicae
Similarity:
A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
Sequents in many valued logic I
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
Some impredicative definitions in the axiomatic set theory
Andrzej Mostowski (1950)
Fundamenta Mathematicae
Similarity:
Attributes, sets, partial sets and identity
P. C. Gilmore (1968)
Compositio Mathematica
Similarity: