Algebraic Treatment of the Functional Calculi of Heyting and Lewis
H. Rasiowa (1951)
Fundamenta Mathematicae
Similarity:
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: