Algebraic Treatment of the Functional Calculi of Heyting and Lewis
H. Rasiowa (1951)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Algebraic treatment of the notion of satisfiability”
Algebraic Treatment of the Functional Calculi of Heyting and Lewis
On constructible falsity in the constructive logic with strong negation
Andrzej Białynicki-Birula, H. Rasiowa (1958)
Colloquium Mathematicum
Similarity:
An application of lattices to logic
H. Rasiowa, Roman Sikorski (1955)
Fundamenta Mathematicae
Similarity:
On open theories
Roman Sikorski (1962)
Colloquium Mathematicum
Similarity:
On existential theorems in non-classical functional calculi
H. Rasiowa, Roman Sikorski (1955)
Fundamenta Mathematicae
Similarity:
On the ε-theorems
H. Rasiowa (1956)
Fundamenta Mathematicae
Similarity: