Computing coproducts of finitely presented Gödel algebras

Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras

L. L. Maksimova · Algebra and Logic · 1977 · 164 citations

Natural Sciences, Computer Science, Mathematics +11

Logic with truth values in A linearly ordered heyting algebra

Alfred Horn · Journal of Symbolic Logic · 1969 · 150 citations

Humanities, Mathematics, Logic +9

Free <i>L</i>-algebras

Alfred Horn · Journal of Symbolic Logic · 1969 · 51 citations

Humanities, Mathematics, Algebra +12

Unification, finite duality and projectivity in varieties of Heyting algebras

Silvio Ghilardi · Annals of Pure and Applied Logic · 2003 · 44 citations · Full text

Natural Sciences, Mathematics, Algebra +9

Duality and definability in first order logic

Michael Makkai · Memoirs of the American Mathematical Society · 1993 · 42 citations

Humanities, Mathematics, Logic +15