Publication:4657630
From MaRDI portal
zbMath1066.18005MaRDI QIDQ4657630
Publication date: 14 March 2005
first-order logic; algebraic theories; varieties; algebraic logic; algebraizable logics; cylindric algebras; polyadic algebras; algebraizable institutions
08B05: Equational logic, Mal'tsev conditions
03G25: Other algebras related to logic
18C10: Theories (e.g., algebraic theories), structure, and semantics
18C20: Eilenberg-Moore and Kleisli constructions for monads
Related Items
Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems, Categorical abstract algebraic logic: models of \(\pi\)-institutions, Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties, Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms