Semigroups in Complete Lattices Quantales, Modules and Related Topics /
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...
| Main Authors: | Eklund, Patrik (Author, http://id.loc.gov/vocabulary/relators/aut), Gutiérrez García, Javier (http://id.loc.gov/vocabulary/relators/aut), Höhle, Ulrich (http://id.loc.gov/vocabulary/relators/aut), Kortelainen, Jari (http://id.loc.gov/vocabulary/relators/aut) |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
| Edition: | 1st ed. 2018. |
| Series: | Developments in Mathematics,
54 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Proof Theory and Algebra in Logic
by: Ono, Hiroakira, et al.
Published: (2019) -
Birational Geometry of Hypersurfaces Gargnano del Garda, Italy, 2018 /
Published: (2019) -
Geometry of Moduli
Published: (2018) -
Hopf Algebras and Their Generalizations from a Category Theoretical Point of View
by: Böhm, Gabriella, et al.
Published: (2018) -
Simplicial Methods for Higher Categories Segal-type Models of Weak n-Categories /
by: Paoli, Simona, et al.
Published: (2019)