000			01436 a2200217 4500
005			20251010153250.0
008			251010b |||||||| |||| 00| 0 eng d
020			_a9783319789477
082			_a511.33 _bEkuS
100			_aEklund, Patrik
245			_aSemigroups in Complete Lattices : _bQuantales, Modules and Related Topics / _cPatrik Eklund...[et al. ]
260			_bSpringer : _aSwitzerland , _c©2018.
300			_axxi, 325p.
440			_aDevlopment in Mathmetics : _vVol. 54
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			_aMathematical (Symbolic) logic
700			_aKortelainen, Jari
700			_aHohle, Ulrich
700			_aGarcia, Javier Gutierrez
942			_cBK
999			_c6777 _d6777