Ir al contenido

Documat


Resumen de Wajsberg algebras.

Josep Maria Font i Llobet Árbol académico, Antonio Manuel Rodríguez Chía Árbol académico, Antoni Torrens Torrell Árbol académico

  • 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.


Fundación Dialnet

Mi Documat