Algebra, Universal Algebraic logic Algèbre universelle Congresses Logique algébrique Mathematical logic and foundations -- Algebraic logic -- Lattices and related structures 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 Order, lattices, ordered algebraic structures -- Distributive lattices -- MV-algebras Order, lattices, ordered algebraic structures -- Ordered structures -- Ordered groups Order, lattices, ordered algebraic structures -- Ordered structures -- Ordered semigroups and monoids Ordered algebraic structures