Quasivarieties and congruence permutability of Łukasiewicz implication algebras (Q763305): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Miguel A. Campercholi / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Diego N. Castaño / rank | |||
Normal rank | |||
Property / author | |||
Property / author: José Patricio Díaz Varela / rank | |||
Normal rank |
Revision as of 01:48, 15 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quasivarieties and congruence permutability of Łukasiewicz implication algebras |
scientific article |
Statements
Quasivarieties and congruence permutability of Łukasiewicz implication algebras (English)
0 references
9 March 2012
0 references
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.
0 references
Łukasiewicz implication algebras
0 references
quasivarieties
0 references
congruence permutability
0 references