José Patricio Díaz Varela

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

In this paper we investigate those subvarieties of the variety

Free Łukasiewicz implication algebras

\mathcal {SH}

Decomposability of free Łukasiewicz implication algebras

of semi-Heyting algebras which are term-equivalent to the variety

Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts

\mathcal L_{\mathcal H}

The Variety of Semi-Heyting Algebras Satisfying the Equation (0 → 1)* V (0 → 1)** ≈ 1

of Gödel algebras (linear Heyting algebras). We prove that the only other subvarieties with this property are the variety

Algebraic functions in Łukasiewicz implication algebras

\mathcal L^{\rm Com}

Zariski‐type topology for implication algebras

of commutative semi-Heyting algebras and the variety

Conditions for Permutability of Congruences in Implication Algebras

\mathcal L^{\vee}

Representation of Cubic Lattices by Symmetric Implication Algebras

generated by the chains in which a < b implies a → b = b. We also study the variety

Topological representation for monadic implication algebras

\mathcal C