On existential theorems in non-classical functional calculi
H. Rasiowa, Roman Sikorski (1955)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Algebraic Treatment of the Functional Calculi of Heyting and Lewis”
On existential theorems in non-classical functional calculi
Algebraic treatment of the notion of satisfiability
H. Rasiowa, Roman Sikorski (1953)
Fundamenta Mathematicae
Similarity:
An application of lattices to logic
H. Rasiowa, Roman Sikorski (1955)
Fundamenta Mathematicae
Similarity:
A proof of the Skolem-Löwenheim Theorem
H. Rasiowa, Roman Sikorski (1951)
Fundamenta Mathematicae
Similarity:
Algebraic models of axiomatic theories
H. Rasiowa (1955)
Fundamenta Mathematicae
Similarity:
An algebraic characterization of quantifiers
Leon Henkin (1950)
Fundamenta Mathematicae
Similarity:
On the definition of computable functionals
Andrzej Grzegorczyk (1955)
Fundamenta Mathematicae
Similarity:
Functional interpretation of bar induction by bar recursion
W. A. Howard (1968)
Compositio Mathematica
Similarity:
A proof of the completeness theorem of Grödel
H. Rasiowa, Roman Sikorski (1950)
Fundamenta Mathematicae
Similarity: