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...

Celý popis

Uložené v:
Podrobná bibliografia
Hlavný autor: Eklund, Patrik (Autor)
Médium: Elektronický zdroj E-kniha
Jazyk:English
Vydavateľské údaje: Cham : Springer International Publishing, 2018.
Vydanie:1st ed. 2018.
Edícia:Developments in Mathematics, 54
Predmet:
ISBN:9783319789484
ISSN:1389-2177 ;
On-line prístup: Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

MARC

LEADER 00000nam a22000005i 4500
003 SK-BrCVT
005 20220618102115.0
007 cr nn 008mamaa
008 180609s2018 gw | s |||| 0|eng d
020 |a 9783319789484 
024 7 |a 10.1007/978-3-319-78948-4  |2 doi 
035 |a CVTIDW13923 
040 |a Springer-Nature  |b eng  |c CVTISR  |e AACR2 
041 |a eng 
100 1 |a Eklund, Patrik.  |4 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. 
260 1 |a Cham :  |b Springer International Publishing,  |c 2018. 
300 |a XXI, 326 p.  |b online resource. 
490 1 |a Developments in Mathematics,  |x 1389-2177 ;  |v 54 
500 |a Mathematics and Statistics  
505 0 |a Introduction -- 1 Foundations -- 2 Fundamentals of Quantales -- 3 Module Theory in Sup -- Appendix -- References -- Index. 
516 |a text file PDF 
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. 
856 4 0 |u http://hanproxy.cvtisr.sk/han/cvti-ebook-springer-eisbn-978-3-319-78948-4  |y Vzdialený prístup pre registrovaných používateľov 
910 |b ZE11203 
919 |a 978-3-319-78948-4 
974 |a andrea.lebedova  |f Elektronické zdroje 
992 |a SUD 
999 |c 239128  |d 239128