Sequents in many valued logic I
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “On the Gentzen theorem”
Sequents in many valued logic I
The equivalence of two definitions of elementary formal system
Haskell B. Curry (1968)
Compositio Mathematica
Similarity:
Some impredicative definitions in the axiomatic set theory
Andrzej Mostowski (1950)
Fundamenta Mathematicae
Similarity:
A complete, infinitary axiomatization of weak second-order logic
E. Lopez-Escobar (1967)
Fundamenta Mathematicae
Similarity:
An addition to “logic of many-sorted theories”
P. C. Gilmore (1956-1958)
Compositio Mathematica
Similarity:
Combinatory logic and the ω-rule
Henk Barondregt (1974)
Fundamenta Mathematicae
Similarity:
Speed-up for propositional Frege systems via generalizations of proofs
Jan Krajíček (1989)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
An interpolation theorem for denumerably long formulas
E. Lopez-Escobar (1965)
Fundamenta Mathematicae
Similarity: