2 papers
math.LO2026
Conuclei on varieties of hoops
Sebastián Buss, Diego Castaño, José Patricio Díaz Varela
A conucleus on a partially ordered monoid is an interior operator that satisfies and for all $a,b \in…
math.LO2024
Terms that define nuclei on residuated lattices: a case study of BL-algebras
Sebastián Buss, Diego Castaño, José Patricio Díaz Varela
A nucleus on a (bounded commutative integral) residuated lattice is a closure operator that satisfies the inequality for all $a…