scientific article; zbMATH DE number 6257807

zbMath1281.03011MaRDI QIDQ5747514

George Voutsadakis

Publication date: 17 February 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

varietiesclosure operatorsalgebraizable logicsquasi-varietiesprotoalgebraic logicsalgebraic systemsBirkhoff's theoremorder isomorphismspolarities\(\pi\)-institutionsreduced productsorder homomorphismsorder translationspolarity translationsprotoalgebraic \(\pi\)-institutionsMal'tsev's theorem

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categories of algebras (08C05) Abstract algebraic logic (03G27)

Related Items (3)

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

This page was built for publication: