A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
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: