Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors

DOI10.1080/00927870601042118MaRDI QIDQ3430283zbMATH OpenOpenAlexFDO

Authors 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

\(\pi\)-institutionsalgebraic systemsalgebraizable logicsorder homomorphismsorder isomorphismsorder translationspolaritiespolarity translationsprotoalgebraic \(\pi\)-institutionsprotoalgebraic logicsquasi-varietiessubdirect productssubdirect representation theoremvarieties

Mathematics Subject Classification ID

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

Recommendations

• Categorical abstract algebraic logic: subdirect representation for classes of structure systems
• Categorical abstract algebraic logic: Partially ordered algebraic systems
• Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence
• scientific article; zbMATH DE number 6257807
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties

Cites work

• A survey of abstract algebraic logic
• Categorical abstract algebraic logic: (,N)-algebraic systems
• Categorical abstract algebraic logic: models of -institutions
• Categorical abstract algebraic logic: Partially ordered algebraic systems
• Characterizing classes defined with equality
• Equality-free logic: the method of diagrams and preservation theorems
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• scientific article; zbMATH DE number 6257807 (Why is no real title available?)
• Some characterization theorems for infinitary universal Horn logic without equality
• Subdirect representation theory for classes without equality
• Varieties of ordered algebras

Cited in

(7)

• Extension properties and subdirect representation in abstract algebraic logic
• Subdirect representation theory for classes without equality
• Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
• Categorical abstract algebraic logic: subdirect representation for classes of structure systems
• Categorical astract algebraic logic: algebraic semantics for \(\pi\)-institutions
• scientific article; zbMATH DE number 6257807 (Why is no real title available?)
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3430283)