A remark on the ideal extension property
A diagrammatic statement is developed for the generalized semidistributive law in case of single algebras assuming that their congruences are permutable. Without permutable congruences, a diagrammatic statement is developed for the ∧-semidistributive law.
Usando la teoria del commutatore in algebra universale, si dimostra che una larga classe di algebre di incidenza sono polinomialmente equivalenti a moduli su anelli con divisione.
The present study aimed to introduce -fold interval valued residuated lattice (IVRL for short) filters in triangle algebras. Initially, the notions of -fold (positive) implicative IVRL-extended filters and -fold (positive) implicative triangle algebras were defined. Afterwards, several characterizations of the algebras were presented, and the correlations between the -fold IVRL-extended filters, -fold (positive) implicative algebras, and the Gödel triangle algebra were discussed.
A tolerance on an algebra is defined similarly to a congruence, only the requirement of transitivity is omitted. The paper studies a special type of tolerance, namely atomary tolerances. They exist on every finite algebra.