Residuated structures in algebra and logic - Metcalfe, George; Paoli, Francesco; Tsinakis, Constantine (American Mathematical Society, 2023)
Includes bibliographical references and index
Keywords: 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 -- 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