Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems

DOI10.1080/00927870802110904zbMath1161.03037OpenAlexW2165995254MaRDI QIDQ3525204

George Voutsadakis

Publication date: 11 September 2008

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

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

zbMATH Keywords

quasivarietiessubdirect product\(\kappa \)-filtered direct product\(\kappa \)-filtered intersectionLyndon classesunion of directed systemsupward \(\kappa \)-directed poset

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Cites Work

• Unnamed Item
• Unnamed Item
• Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
• Categorical abstract algebraic logic: models of \(\pi\)-institutions
• Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
• Equivalential logics. I
• Some theorems on structural consequence operations
• The structure of the lattices of quasivarieties
• On elementary equivalence for equality-free logic
• Characterizing classes defined with equality
• On definability of the equality in classes of algebras with an equivalence relation
• Subdirect representation theory for classes without equality
• Definability of Leibniz equality
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
• Some characterization theorems for infinitary universal Horn logic without equality
• Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
• Algebraic Characterizations for Universal Fragments of Logic
• Freeness in classes without equality
• Equality-free logic: the method of diagrams and preservation theorems

This page was built for publication: Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems