Metcalfe, George,

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.

511.324 / M588r