Applications of Kripke models to Heyting-Brouwer logic

Semi-Boolean algebras and their applications to intuitionistic logic with dual operations

Cecylia Rauszer · Fundamenta Mathematicae · 1974 · 129 citations · Full text

Humanities, Computer Science, Mathematics +12

On the strong semantical completeness of the intuitionistic predicate calculus

Richmond H. Thomason · Journal of Symbolic Logic · 1968 · 51 citations

Humanities, Computer Science, Mathematics +14

Applications of trees to intermediate logics

Dov M. Gabbay · Journal of Symbolic Logic · 1972 · 35 citations

Humanities, Computer Science, Mathematics +11