|
|
|
|
| LEADER |
03385nam a2200577 4500 |
| 001 |
978-3-319-78948-4 |
| 003 |
DE-He213 |
| 005 |
20191220130055.0 |
| 007 |
cr nn 008mamaa |
| 008 |
180609s2018 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783319789484
|9 978-3-319-78948-4
|
| 024 |
7 |
|
|a 10.1007/978-3-319-78948-4
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA172-172.4
|
| 050 |
|
4 |
|a QA171.5
|
| 072 |
|
7 |
|a PBF
|2 bicssc
|
| 072 |
|
7 |
|a MAT002010
|2 bisacsh
|
| 072 |
|
7 |
|a PBF
|2 thema
|
| 082 |
0 |
4 |
|a 511.33
|2 23
|
| 100 |
1 |
|
|a Eklund, Patrik.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
| 245 |
1 |
0 |
|a Semigroups in Complete Lattices
|h [electronic resource] :
|b Quantales, Modules and Related Topics /
|c by Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen.
|
| 250 |
|
|
|a 1st ed. 2018.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2018.
|
| 300 |
|
|
|a XXI, 326 p.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Developments in Mathematics,
|x 1389-2177 ;
|v 54
|
| 505 |
0 |
|
|a Introduction -- 1 Foundations -- 2 Fundamentals of Quantales -- 3 Module Theory in Sup -- Appendix -- References -- Index.
|
| 520 |
|
|
|a 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.
|
| 650 |
|
0 |
|a Algebra.
|
| 650 |
|
0 |
|a Ordered algebraic structures.
|
| 650 |
|
0 |
|a Category theory (Mathematics).
|
| 650 |
|
0 |
|a Homological algebra.
|
| 650 |
|
0 |
|a Mathematical logic.
|
| 650 |
1 |
4 |
|a Order, Lattices, Ordered Algebraic Structures.
|0 http://scigraph.springernature.com/things/product-market-codes/M11124
|
| 650 |
2 |
4 |
|a Category Theory, Homological Algebra.
|0 http://scigraph.springernature.com/things/product-market-codes/M11035
|
| 650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|0 http://scigraph.springernature.com/things/product-market-codes/I16048
|
| 700 |
1 |
|
|a Gutiérrez García, Javier.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
| 700 |
1 |
|
|a Höhle, Ulrich.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
| 700 |
1 |
|
|a Kortelainen, Jari.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319789477
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319789491
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783030076870
|
| 830 |
|
0 |
|a Developments in Mathematics,
|x 1389-2177 ;
|v 54
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-319-78948-4
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SMA
|
| 950 |
|
|
|a Mathematics and Statistics (Springer-11649)
|
