Residuated structures in algebra and logic /
George Metcalfe, Francesco Paoli, Constantine Tsinakis.
- xiii, 265 pages : illustrations ; 26 cm.
- Mathematical surveys and monographs ; volume 277 .
- Mathematical surveys and monographs ; no. 277. .
Includes bibliographical references (pages 253-265) and index.
An introduction to residuated structures, a common thread binding together algebra and logic, designed to serve the purposes of novices and experts alike. The first three chapters provide a gentle introduction to the subject, while subsequent chapters provide a state-of-the-art account of recent developments in the field.
9781470469856 1470469855
2023030386
Algebraic logic. Algebra, Universal. Mathematical logic and foundations -- General logic -- Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics). Mathematical logic and foundations -- Model theory -- Equational classes, universal algebra. Mathematical logic and foundations -- Algebraic logic -- Lattices and related structures.