A theory of prepositional types
Leon Henkin (1963)
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.
Displaying similar documents to “Equational Reformulations of Intuitionistic Propositional Calculus and Classical First-order Predicate Calculus”
A theory of prepositional types
An algebraic characterization of quantifiers
Leon Henkin (1950)
Fundamenta Mathematicae
Similarity:
Boolean representation trough propositional calculus
Leon Henkin (1955)
Fundamenta Mathematicae
Similarity:
On axioms of B-algebra
Imai, Yasuyuki, Iséki, Kiyoshi (1967)
Portugaliae mathematica
Similarity:
Applications of topology to foundations of mathematics
Sikorski, R.
Similarity:
A complete first-order logic with infinitary predicates
H. Keisler (1963)
Fundamenta Mathematicae
Similarity:
Consistency statements in formal theories
R. Jeroslow (1971)
Fundamenta Mathematicae
Similarity:
On the ε-theorems
H. Rasiowa (1956)
Fundamenta Mathematicae
Similarity: