Semigroups in Complete Lattices : Quantales, Modules and Related Topics / Patrik Eklund...[et al. ]

By:

Eklund, Patrik

Contributor(s):

9783319789477

Subject(s):

Mathematical (Symbolic) logic

DDC classification:

511.33 EkuS

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

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Barcode
Books	Indian Institute of Technology Tirupati General Stacks	Mathematics	511.33 EkuS (12197) (Browse shelf(Opens below))	Available	12197

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.

There are no comments on this title.

to post a comment.