A note on the theory of propositional types
Andrzej Grzegorczyk (1964)
Fundamenta Mathematicae
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.
Displaying similar documents to “An addition to “logic of many-sorted theories””
A note on the theory of propositional types
Presentation of Natural Deduction
R. P. Nederpelt (1977)
Zbornik Radova
Similarity:
Attributes, sets, partial sets and identity
P. C. Gilmore (1968)
Compositio Mathematica
Similarity:
Sequents in many valued logic I
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
An algebraic characterization of quantifiers
Leon Henkin (1950)
Fundamenta Mathematicae
Similarity:
A complete, infinitary axiomatization of weak second-order logic
E. Lopez-Escobar (1967)
Fundamenta Mathematicae
Similarity:
A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
Intuitionistic modal logic with quantifiers
Fitch, Frederic B. (1948)
Portugaliae mathematica
Similarity:
Arithmetization of metamathematics in a general setting
S. Feferman (1960)
Fundamenta Mathematicae
Similarity: