Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties

DOI10.1007/S11083-006-9048-7MaRDI QIDQ878147zbMATH OpenOpenAlexFDO

Authors 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

subdirect productsclosure operatorspolaritiesalgebraizable logicprotoalgebraic logics\(\pi\)-institutionspartially ordered algebraic systemspartially ordered functorspartially ordered quasivarietiesreduced products

Mathematics Subject Classification ID

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

Recommendations

• Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
• Categorical abstract algebraic logic: Partially ordered algebraic systems
• Categorical abstract algebraic logic: Algebraizable institutions
• Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence
• Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
• Categorical abstract algebraic logic: on admissible equivalence systems
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
• Categorical abstract algebraic logic: equivalential \(\pi\)-institutions
• scientific article; zbMATH DE number 5141220
• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems

Cites work

• scientific article; zbMATH DE number 3654207 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 2145279 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 914167 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 6257807 (Why is no real title available?)
• A survey of abstract algebraic logic
• Algebraizable logics
• Axiomatization of polynomial substitution algebras
• Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors
• Categorical abstract algebraic logic. Full model, Frege systems and metalogical properties
• Categorical abstract algebraic logic: Gentzen \((\pi)\)-institutions
• Categorical abstract algebraic logic: Partially ordered algebraic systems
• Categorical abstract algebraic logic: The largest theory system included in a theory family
• Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
• Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
• Categorical abstract algebraic logic: models of \(\pi\)-institutions
• Categorical abstract algebraic logic: more on protoalgebraicity
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
• Categorical abstract algebraic logic: protoalgebraicity and Leibniz theory systems
• Characterizing classes defined with equality
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Cylindric algebras. Part II
• Equality-free logic: the method of diagrams and preservation theorems
• Equivalential and algebraizable logics
• Equivalential logics. I
• Some characterization theorems for infinitary universal Horn logic without equality
• Subdirect representation theory for classes without equality
• Varieties of ordered algebras
• Weakly algebraizable logics

Cited in

(10)

• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors
• Categorical abstract algebraic logic: Partially ordered algebraic systems
• scientific article; zbMATH DE number 6257807 (Why is no real title available?)
• Order-enriched categorical models of the classical sequent calculus
• Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence
• Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
• On the deductive system of the order of an equationally orderable quasivariety
• Categorical astract algebraic logic: algebraic semantics for \(\pi\)-institutions

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

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