Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors

DOI10.1080/00927870601042118zbMath1110.18003OpenAlexW1965995586MaRDI QIDQ3430283

George Voutsadakis

Publication date: 21 March 2007

Published in: Communications in Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00927870601042118

zbMATH Keywords

varietiesalgebraizable logicsquasi-varietiessubdirect productsprotoalgebraic logicsalgebraic systemsorder isomorphismspolarities\(\pi\)-institutionssubdirect representation theoremorder homomorphismsorder translationspolarity translationsprotoalgebraic \(\pi\)-institutions

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Equational logic, Mal'tsev conditions (08B05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Categories of algebras (08C05) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (2)

Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions

Cites Work

• 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
• Varieties of ordered algebras
• Characterizing classes defined with equality
• A survey of abstract algebraic logic
• Subdirect representation theory for classes without equality
• Categorical abstract algebraic logic: Partially ordered algebraic systems
• Some characterization theorems for infinitary universal Horn logic without equality
• Equality-free logic: the method of diagrams and preservation theorems

This page was built for publication: Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors