scientific article; zbMATH DE number 2145279
From MaRDI portal
Publication:4657630
zbMath1066.18005MaRDI QIDQ4657630
Publication date: 14 March 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first-order logicalgebraic theoriesvarietiesalgebraic logicalgebraizable logicscylindric algebraspolyadic algebrasalgebraizable institutions
Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Theories (e.g., algebraic theories), structure, and semantics (18C10) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items
Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms ⋮ Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems ⋮ Categorical abstract algebraic logic: models of \(\pi\)-institutions