Wajsberg algebras.
- Font Llobet, Josep Maria
- Rodríguez Chía, Antonio Manuel
- Torrens Torrell, Antoni
ISSN: 0210-7821
Year of publication: 1984
Volume: 8
Issue: 1
Pages: 5-31
Type: Article
More publications in: Stochastica: revista de matemática pura y aplicada
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.