On existential theorems in non-classical functional calculi
H. Rasiowa, Roman Sikorski (1955)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “An application of lattices to logic”
On existential theorems in non-classical functional calculi
Algebraic Treatment of the Functional Calculi of Heyting and Lewis
H. Rasiowa (1951)
Fundamenta Mathematicae
Similarity:
Algebraic treatment of the notion of satisfiability
H. Rasiowa, Roman Sikorski (1953)
Fundamenta Mathematicae
Similarity:
Algebraic models of axiomatic theories
H. Rasiowa (1955)
Fundamenta Mathematicae
Similarity:
A proof of the Skolem-Löwenheim Theorem
H. Rasiowa, Roman Sikorski (1951)
Fundamenta Mathematicae
Similarity:
The interpreted type-free modal calculus . II
A. Bressan (1973)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Post algebras as semantic bases of some many-valued logics
V. G. Kirin (1968)
Fundamenta Mathematicae
Similarity:
Sequents in many valued logic I
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
A topological interpretation of second-order intuitionistic arithmetic
Joan Rand Moschovakis (1973)
Compositio Mathematica
Similarity: