Algebraic Treatment of the Functional Calculi of Heyting and Lewis
H. Rasiowa (1951)
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 “On existential theorems in non-classical functional calculi”
Algebraic Treatment of the Functional Calculi of Heyting and Lewis
Algebraic models of axiomatic theories
H. Rasiowa (1955)
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:
An algebraic characterization of quantifiers
Leon Henkin (1950)
Fundamenta Mathematicae
Similarity:
A completeness theorem for the general interpreted modal calculus of A. Bressan
Alberto Zanardo (1981)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Algebraic treatment of the notion of satisfiability
H. Rasiowa, Roman Sikorski (1953)
Fundamenta Mathematicae
Similarity:
A proof of the completeness theorem of Grödel
H. Rasiowa, Roman Sikorski (1950)
Fundamenta Mathematicae
Similarity:
The interpreted type-free modal calculus . II
A. Bressan (1973)
Rendiconti del Seminario Matematico della Università di Padova
Similarity: