2 papers
math.LO2026
Free -Heyting algebras
Juan Manuel Cornejo, Andrés Gallardo, Paula Helt +2
-Heyting algebras form a subvariety of Heyting algebras and are characterized by the property that a chain of prime filters in such an algebra has at most elements. We…
math.LO2025
Free five-valued Nelson Algebras
Juan Manuel Cornejo, Andrés Gallardo, Luiz F. Monteiro +1
Five-valued Nelson algebras are those satisfying the condition: . We give alternative equations defining these algebras, and determine…