Residuated structures in algebra and logic

Residuated structures in algebra and logic /

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

Full description

Saved in:
Bibliographic Details
Main Authors: Metcalfe, George (Author), Paoli, Francesco (Author), Tsinakis, Constantine (Author)
Format: Book
Language:English
Published: Providence, Rhode Island : American Mathematical Society, [2023]
Series:Mathematical surveys and monographs no. 277.
Subjects:
Algebraic logic
Algebra, Universal
Logique algébrique.
Algèbre universelle.
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 > Proof theory and constructive mathematics > Linear logic and other substructural logics.
Mathematical logic and foundations > Algebraic logic > Lattices and related structures.
Order, lattices, ordered algebraic structures > Distributive lattices > MV-algebras.
Order, lattices, ordered algebraic structures > Ordered structures > Ordered semigroups and monoids.
Order, lattices, ordered algebraic structures > Ordered structures > Ordered groups.

Similar Items