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.
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: