INVESTIGADORES
CASTIGLIONI JosÉ Luis
congresos y reuniones científicas
Título:
A representation theorem for integral rigs and its applications to residuated lattices
Autor/es:
J.L. CASTIGLIONI; M. MENNI; W. J. ZULUAGA BOTERO
Lugar:
Barcelona
Reunión:
Congreso; Syntax Meets Semantics 2016; 2016
Institución organizadora:
Universitat De Barcelona
Resumen:
We generalize the Dubuc-Poveda representation theorem for MV-algebras so that it applies to other algebraic categories of residuated join-semilattices. In particular, as a corollary, we obtain arepresentation result for pre-linear residuated join-semilattices in terms of totally ordered fibers. The main result is analogous to the Zariski representation of (commutative) rings and it is proved usingtools from topos theory.
