Dualizing algebras with fusion and implication

J.L. CASTIGLIONI

Pucón

Congreso; XIX Coloquio Latinoamericano de Álgebra; 2012

Universidad de La Frontera

In recent years, many varieties of algebras associated to many-valued logics have been introduced, as for example, the variety of $MTL$-algebras, the variety of $ITML$-algebras, and the variety of $WH$-algebras. All these algebras are bounded distributive lattices with at least one additional binary operation (a fusion and/or an implication) satisfying special additional conditions.