Uniqueness of the implication for totally ordered MV-algebras

It is shown that in a linearly ordered MV-algebra A, the implication is unique if and only if the identity function is the unique De Morgan automorphism on A. Modulo categorical equivalence, our uniqueness criterion recalls Ohkuma's rigidness condition for totally ordered abelian groups. We als...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Martínez, N.G., Petrovich, A.
Formato: JOUR
Materias:
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_01680072_v108_n1-3_p261_Martinez
Aporte de:

Ejemplares similares