Publication:5747514
From MaRDI portal
zbMath1281.03011MaRDI QIDQ5747514
Publication date: 17 February 2014
varieties; closure operators; algebraizable logics; quasi-varieties; protoalgebraic logics; algebraic systems; Birkhoff's theorem; order isomorphisms; polarities; \(\pi\)-institutions; reduced products; order homomorphisms; order translations; polarity translations; protoalgebraic \(\pi\)-institutions; Mal'tsev's theorem
Related Items
Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties, Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors, Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas