Equational Reformulations of Intuitionistic Propositional Calculus and Classical First-order Predicate Calculus
Branislav R. Boričić (1981)
Publications de l'Institut Mathématique
Similarity:
Displaying similar documents to “On axioms of B-algebra”
Equational Reformulations of Intuitionistic Propositional Calculus and Classical First-order Predicate Calculus
On the ε-theorems
H. Rasiowa (1956)
Fundamenta Mathematicae
Similarity:
Two sets of axioms for Boolean algebras
Diego, António, Suárez, Alberto (1964)
Portugaliae mathematica
Similarity:
An undecidable arithmetical statement
Andrzej Mostowski (1949)
Fundamenta Mathematicae
Similarity:
A reduction of the axioms for the theory of prepositional types
P. Andrews (1963)
Fundamenta Mathematicae
Similarity:
A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
An algebraic characterization of quantifiers
Leon Henkin (1950)
Fundamenta Mathematicae
Similarity:
Boolean representation trough propositional calculus
Leon Henkin (1955)
Fundamenta Mathematicae
Similarity:
Consistency statements in formal theories
R. Jeroslow (1971)
Fundamenta Mathematicae
Similarity:
Algebraic treatment of the notion of satisfiability
H. Rasiowa, Roman Sikorski (1953)
Fundamenta Mathematicae
Similarity: