On existential theorems in non-classical functional calculi
H. Rasiowa, Roman Sikorski (1955)
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.
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 “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: