A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “The elimination of descriptions from A. Bressan’s modal language on which the logical calculus is based”
A theory of prepositional types
Attributes, sets, partial sets and identity
P. C. Gilmore (1968)
Compositio Mathematica
Similarity:
Presentation of Natural Deduction
R. P. Nederpelt (1977)
Zbornik Radova
Similarity:
The equivalence of two definitions of elementary formal system
Haskell B. Curry (1968)
Compositio Mathematica
Similarity:
A completeness theorem for the general interpreted modal calculus of A. Bressan
Alberto Zanardo (1981)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
An addition to “logic of many-sorted theories”
P. C. Gilmore (1956-1958)
Compositio Mathematica
Similarity:
The role of the axiom of induction in elementary arithmetic
Czesław Ryll-Nardzewski (1952)
Fundamenta Mathematicae
Similarity:
The logic of negationless mathematics
P. G. J. Vredenduin (1953)
Compositio Mathematica
Similarity:
Some impredicative definitions in the axiomatic set theory
Andrzej Mostowski (1950)
Fundamenta Mathematicae
Similarity:
Models of axiomatic systems
Andrzej Mostowski (1952)
Fundamenta Mathematicae
Similarity: