Quasivarieties and congruence permutability of Łukasiewicz implication algebras (Q763305)

In this paper the authors study some aspects concerning Łukasiewicz implication algebras. Łukasiewicz implication algebras are the algebraic counterpart of the implicational fragment of super-Łukasiewicz logic. In fact, they are the class of all \(\{\rightarrow, 1 \}\)-subreducts of Wajsberg algebras. The authors give a representation for finite Łukasiewicz implication algebras as upwardly closed subsets in direct products of finite MV-chains. Then they study quasivarieties. They deal first with the locally finite case by means of critical algebras and then use a representation of free Łukasiewicz implication algebras to extend these results to the general case. In the final part of this paper they concentrate on giving characterizations for congruence permutability. First they show that congruence permutability is equivalent to the existence of meets for every pair of elements. In addition, they prove a Nachbin-like theorem characterizing congruence permutable finite algebras as those algebras which do not have certain algebras as quotients.