TÃtulo : |
Semigroups in Complete Lattices : Quantales, Modules and Related Topics |
Tipo de documento: |
documento electrónico |
Autores: |
Eklund, Patrik, ; GutieÌrrez GarciÌa, Javier, ; Höhle, Ulrich, ; Kortelainen, Jari, |
Mención de edición: |
1 ed. |
Editorial: |
[s.l.] : Springer |
Fecha de publicación: |
2018 |
Número de páginas: |
XXI, 326 p. |
ISBN/ISSN/DL: |
978-3-319-78948-4 |
Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
Idioma : |
Inglés (eng) |
Palabras clave: |
Ãlgebra Ãlgebra homológica TeorÃa de las máquinas Orden CelosÃas Estructuras Algebraicas Ordenadas TeorÃa de categorÃas Lenguajes formales y teorÃa de los autómatas |
Clasificación: |
511.33 |
Resumen: |
Esta monografÃa proporciona una introducción moderna a la teorÃa de los cuantos. Acuñados por primera vez por CJ Mulvey en 1986, los cuantoles se han convertido desde entonces en un tema importante en la encrucijada del álgebra y la lógica, de notable interés para la informática teórica. Este libro reformula el tema dentro del poderoso marco del álgebra categórica, mostrando su versatilidad a través de aplicaciones a álgebras C* y MV, conjuntos difusos y autómatas. Con ejercicios y comentarios históricos al final de cada capÃtulo, este libro autónomo proporciona a los lectores una valiosa fuente de referencias y sugerencias para futuras investigaciones. Este libro atraerá a investigadores de matemáticas e informática interesados ​​en la teorÃa de categorÃas, la teorÃa de redes y la lógica de muchos valores. |
Nota de contenido: |
Introduction -- 1 Foundations -- 2 Fundamentals of Quantales -- 3 Module Theory in Sup -- Appendix -- References -- Index. |
Tipo de medio : |
Computadora |
Summary : |
This monograph provides a modern introduction to the theory of quantales. First coined by C.J. Mulvey in 1986, quantales have since developed into a significant topic at the crossroads of algebra and logic, of notable interest to theoretical computer science. This book recasts the subject within the powerful framework of categorical algebra, showcasing its versatility through applications to C*- and MV-algebras, fuzzy sets and automata. With exercises and historical remarks at the end of each chapter, this self-contained book provides readers with a valuable source of references and hints for future research. This book will appeal to researchers across mathematics and computer science with an interest in category theory, lattice theory, and many-valued logic. |
Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Semigroups in Complete Lattices : Quantales, Modules and Related Topics [documento electrónico] / Eklund, Patrik, ; GutieÌrrez GarciÌa, Javier, ; Höhle, Ulrich, ; Kortelainen, Jari, . - 1 ed. . - [s.l.] : Springer, 2018 . - XXI, 326 p. ISBN : 978-3-319-78948-4 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés ( eng)
Palabras clave: |
Ãlgebra Ãlgebra homológica TeorÃa de las máquinas Orden CelosÃas Estructuras Algebraicas Ordenadas TeorÃa de categorÃas Lenguajes formales y teorÃa de los autómatas |
Clasificación: |
511.33 |
Resumen: |
Esta monografÃa proporciona una introducción moderna a la teorÃa de los cuantos. Acuñados por primera vez por CJ Mulvey en 1986, los cuantoles se han convertido desde entonces en un tema importante en la encrucijada del álgebra y la lógica, de notable interés para la informática teórica. Este libro reformula el tema dentro del poderoso marco del álgebra categórica, mostrando su versatilidad a través de aplicaciones a álgebras C* y MV, conjuntos difusos y autómatas. Con ejercicios y comentarios históricos al final de cada capÃtulo, este libro autónomo proporciona a los lectores una valiosa fuente de referencias y sugerencias para futuras investigaciones. Este libro atraerá a investigadores de matemáticas e informática interesados ​​en la teorÃa de categorÃas, la teorÃa de redes y la lógica de muchos valores. |
Nota de contenido: |
Introduction -- 1 Foundations -- 2 Fundamentals of Quantales -- 3 Module Theory in Sup -- Appendix -- References -- Index. |
Tipo de medio : |
Computadora |
Summary : |
This monograph provides a modern introduction to the theory of quantales. First coined by C.J. Mulvey in 1986, quantales have since developed into a significant topic at the crossroads of algebra and logic, of notable interest to theoretical computer science. This book recasts the subject within the powerful framework of categorical algebra, showcasing its versatility through applications to C*- and MV-algebras, fuzzy sets and automata. With exercises and historical remarks at the end of each chapter, this self-contained book provides readers with a valuable source of references and hints for future research. This book will appeal to researchers across mathematics and computer science with an interest in category theory, lattice theory, and many-valued logic. |
Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |