Wajsberg algebras.

Font, Josep M., Rodríguez, Antonio J., and Torrens, Antoni. "Wajsberg algebras.." Stochastica 8.1 (1984): 5-31. <http://eudml.org/doc/38902>.

@article{Font1984,
abstract = {We present the basic theory of the most natural algebraic counterpart of the ℵ0-valued Lukasiewicz calculus, strictly logically formulated. After showing its lattice structure and its relation to C. C. Chang's MV-algebras we study the implicative filters and prove its equivalence to congruence relations. We present some properties of the variety of all Wajsberg algebras, among which there is a representation theorem. Finally we give some characterizations of linear, simple and semisimple algebras.},
author = {Font, Josep M., Rodríguez, Antonio J., Torrens, Antoni},
journal = {Stochastica},
keywords = {Algebras de Wajsberg; MV-algebras; implicative filters; congruence relations; representation theorem},
language = {eng},
number = {1},
pages = {5-31},
title = {Wajsberg algebras.},
url = {http://eudml.org/doc/38902},
volume = {8},
year = {1984},
}

TY - JOUR
AU - Font, Josep M.
AU - Rodríguez, Antonio J.
AU - Torrens, Antoni
TI - Wajsberg algebras.
JO - Stochastica
PY - 1984
VL - 8
IS - 1
SP - 5
EP - 31
AB - We present the basic theory of the most natural algebraic counterpart of the ℵ0-valued Lukasiewicz calculus, strictly logically formulated. After showing its lattice structure and its relation to C. C. Chang's MV-algebras we study the implicative filters and prove its equivalence to congruence relations. We present some properties of the variety of all Wajsberg algebras, among which there is a representation theorem. Finally we give some characterizations of linear, simple and semisimple algebras.
LA - eng
KW - Algebras de Wajsberg; MV-algebras; implicative filters; congruence relations; representation theorem
UR - http://eudml.org/doc/38902
ER -