Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties

DOI10.1007/s11083-006-9048-7zbMath1117.03072OpenAlexW2070256301MaRDI QIDQ878147

George Voutsadakis

Publication date: 26 April 2007

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-006-9048-7

zbMATH Keywords

algebraizable logicclosure operatorssubdirect productsprotoalgebraic logicspolarities\(\pi\)-institutionspartially ordered algebraic systemspartially ordered functorspartially ordered quasivarietiesreduced products

Mathematics Subject Classification ID

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

Related Items (3)

Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions ⋮ Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
• Categorical abstract algebraic logic: models of \(\pi\)-institutions
• Cylindric algebras. Part II
• Equivalential logics. I
• Varieties of ordered algebras
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Characterizing classes defined with equality
• A survey of abstract algebraic logic
• Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
• Subdirect representation theory for classes without equality
• Categorical abstract algebraic logic: more on protoalgebraicity
• Categorical abstract algebraic logic: Partially ordered algebraic systems
• Equivalential and algebraizable logics
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
• Some characterization theorems for infinitary universal Horn logic without equality
• Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors
• Algebraizable logics
• Axiomatization of polynomial substitution algebras
• Weakly algebraizable logics
• Equality-free logic: the method of diagrams and preservation theorems
• Categorical abstract algebraic logic: The largest theory system included in a theory family

This page was built for publication: Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties