Semigroups in Complete Lattices

Quantales, Modules and Related Topics

Nonfiction, Science & Nature, Mathematics, Logic, Algebra
Cover of the book Semigroups in Complete Lattices by Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen ISBN: 9783319789484
Publisher: Springer International Publishing Publication: June 9, 2018
Imprint: Springer Language: English
Author: Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen
ISBN: 9783319789484
Publisher: Springer International Publishing
Publication: June 9, 2018
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Environmental Software Systems. Computer Science for Environmental Protection by Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen
Cover of the book Computer Security -- ESORICS 2015 by Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen
Cover of the book Algorithms and Architectures for Parallel Processing by Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen
Cover of the book Beneficial Ownership by Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen
Cover of the book Cultural Encounters and Emergent Practices in Conflict Resolution Capacity-Building by Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen
Cover of the book Current Approach to Heart Failure by Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen
Cover of the book Hygrothermal Risk on Building Heritage by Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen
Cover of the book Tag Counting and Monitoring in Large-Scale RFID Systems by Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen
Cover of the book Perspectives of System Informatics by Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen
Cover of the book Computer Aided Verification by Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen
Cover of the book Modern Discrete Mathematics and Analysis by Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen
Cover of the book Hydrogeomorphic Risk Analysis Affecting Chalcolithic Archaeological Sites from Valea Oii (Bahlui) Watershed, Northeastern Romania by Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen
Cover of the book Pesky Essays on the Logic of Philosophy by Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen
Cover of the book Studies in Musical Acoustics and Psychoacoustics by Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen
Cover of the book Fertility Preservation and Restoration for Patients with Complex Medical Conditions by Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy