On some categories of involutive centered residuated lattices (Record no. 55727)
[ view plain ]
000 -CABECERA | |
---|---|
campo de control de longitud fija | 01845naa a2200217 a 4500 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
campo de control | AR-LpUFIB |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
campo de control | 20250311170417.0 |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
campo de control de longitud fija | 230201s2008 xx o 000 0 eng d |
024 8# - Otro identificador estandar | |
Número estándar o código | DIF-M6525 |
-- | 6664 |
-- | DIF005945 |
040 ## - FUENTE DE LA CATALOGACIÓN | |
Centro catalogador/agencia de origen | AR-LpUFIB |
Lengua de catalogación | spa |
Centro/agencia transcriptor | AR-LpUFIB |
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
Nombre de persona | Castiglioni, J. L. |
245 10 - MENCIÓN DE TÍTULO | |
Título | On some categories of involutive centered residuated lattices |
300 ## - DESCRIPCIÓN FÍSICA | |
Extensión | 1 archivo (389,9 kB) |
500 ## - NOTA GENERAL | |
Nota general | Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca) |
520 ## - SUMARIO, ETC. | |
Sumario, etc. | Motivated by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras we define the functor K• relating integral residuated lattices with 0 (IRL0 ) with certain involutive residuated lattices. Our work is also based on the results obtained by Cignoli about an adjunction between Heyting and Nelson algebras, which is an enrichment of the basic adjunction between lattices and Kleene algebras. The lifting of the functor to the category of residuated lattices leads us to study other adjunctions and equivalences. For example, we treat the functor C whose domain is cuRL, the category of involutive residuated lattices M whose unit is fixed by the involution and has a Boolean complement c (the underlying set of CM is the set of elements greater or equal than c). If we restrict to the full subcategory NRL of cuRL of those objects that have a nilpotent c, then C is an equivalence. In fact, CM is isomorphic to Ce M , and Ce is adjoint to ( ), where ( ) assigns to an object A of IRL0 the product A × A0 which is an object of NRL. |
534 ## - NOTA SOBRE LA VERSIÓN ORIGINAL | |
Encabezamiento principal del original | Studia Logica, 2008, Vol.90, (1), pp.93-124 |
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
Nombre de persona | Menni, Matías |
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
Nombre de persona | Sagastume, Marta |
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS | |
Identificador Uniforme del Recurso | <a href="http://dx.doi.org/10.1007/s11225-008-9145-2">http://dx.doi.org/10.1007/s11225-008-9145-2</a> |
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) | |
Tipo de ítem Koha | Capítulo de libro |
Estado de retiro | Estado de pérdida | Estado dañado | Disponibilidad | Colección | Biblioteca permanente | Biblioteca actual | Fecha de adquisición | Total de préstamos | Signatura topográfica completa | Fecha visto por última vez | Identificador Uniforme del Recurso | Precio válido a partir de | Tipo de ítem Koha |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
No corresponde | Biblioteca digital | Biblioteca de la Facultad de Informática | Biblioteca de la Facultad de Informática | 11/03/2025 | A0291 | 11/03/2025 | http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=552 | 11/03/2025 | Capítulo de libro |