Presentation of Natural Deduction
R. P. Nederpelt (1977)
Zbornik Radova
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Infinite terms and a system of natural deduction”
Presentation of Natural Deduction
A complete, infinitary axiomatization of weak second-order logic
E. Lopez-Escobar (1967)
Fundamenta Mathematicae
Similarity:
Sequents in many valued logic I
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
An addition to “logic of many-sorted theories”
P. C. Gilmore (1956-1958)
Compositio Mathematica
Similarity:
Ambiguity and stratification
Marcel Crabbé (1978)
Fundamenta Mathematicae
Similarity:
Functional interpretation of bar induction by bar recursion
W. A. Howard (1968)
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: