Publicación:
Residuated bilattices

Vista sencilla de ítem
dc.contributor.authorJansana, Ramón
dc.contributor.authorRivieccio, Umberto
dc.date.accessioned2024-05-21T12:53:20Z
dc.date.available2024-05-21T12:53:20Z
dc.date.issued2012
dc.description.abstractWe 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.en
dc.description.versionversión final
dc.identifier.doihttps://doi.org/10.1007/s00500-011-0752-x
dc.identifier.issn1432-7643 - eISSN 1433-7479
dc.identifier.urihttps://hdl.handle.net/20.500.14468/19438
dc.journal.issue3
dc.journal.titleSoft Computing
dc.journal.volume16
dc.language.isoen
dc.publisherSpringer
dc.relation.centerFacultad de Filosofía
dc.relation.departmentLógica, Historia y Filosofía de la Ciencia
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0
dc.subject.keywordsBilattice
dc.subject.keywordsProduct bilattice
dc.subject.keywordsTwist-structure
dc.subject.keywordsResiduated lattice
dc.titleResiduated bilatticeses
dc.typejournal articleen
dc.typeartículoes
dspace.entity.typePublication
relation.isAuthorOfPublication78477d31-191f-4cbb-b9ff-32b8ec63d72b
relation.isAuthorOfPublication.latestForDiscovery78477d31-191f-4cbb-b9ff-32b8ec63d72b
Archivos
Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
Rivieccio_Umberto_ResiduatedBilattices.pdf
Tamaño:
248.26 KB
Formato:
Adobe Portable Document Format
Descargar
Colecciones
Artículos y papers