Publicación: Residuated bilattices
Cargando...
Fecha
2012
Autores
Jansana, Ramón
Editor/a
Director/a
Tutor/a
Coordinador/a
Prologuista
Revisor/a
Ilustrador/a
Derechos de acceso
info:eu-repo/semantics/openAccess
Título de la revista
ISSN de la revista
Título del volumen
Editor
Springer
Resumen
We introduce a new product bilattice construction that generalizes the well-known one for interlaced bilattices and others that were developed more recently, allowing to obtain a bilattice with two residuated pairs as a certain kind of power of an arbitrary residuated lattice. We prove that the class of bilattices thus obtained is a variety, give a finite axiomatization for it and characterize the congruences of its members in terms of those of their lattice factors. Finally, we show how to employ our product construction to define first-order definable classes of bilattices corresponding to any first-order definable subclass of residuated lattices.
Descripción
Categorías UNESCO
Palabras clave
Bilattice, Product bilattice, Twist-structure, Residuated lattice
Citación
Centro
Facultad de Filosofía
Departamento
Lógica, Historia y Filosofía de la Ciencia