Semi-Heyting Algebras Term-equivalent to Gödel Algebras

Free <i>L</i>-algebras

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

Algebraic Logic, Propositional Calculus, Formal Methods +5

Equational classes of relative Stone algebras.

T. Hecht, Tibor Katriňák · Notre Dame Journal of Formal Logic · 1972 · 46 citations

Congruence Relations, Abstract Algebra, Modern Algebra +4

The variety generated by semi-Heyting chains

M. Abad, Juan M. Cornejo, José Patricio Díaz Varela · Soft Computing · 2010 · 19 citations

Schubert Calculus, Geometric Group Theory, Semi-heyting Chains +2

Gödel algebras free over finite distributive lattices

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra · Annals of Pure and Applied Logic · 2008 · 14 citations

Lattice (Order), Lattice Theory, Universal Algebra +1