Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties

DOI10.1007/S11083-006-9048-7zbMATH Open1117.03072OpenAlexW2070256301MaRDI QIDQ878147FDOQ878147

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

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

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)

Cites Work

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

Cited In (9)

• Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
• Title not available (Why is that?)
• Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence
• Categorical abstract algebraic logic: Partially ordered algebraic systems
• Categorical astract algebraic logic: algebraic semantics for \(\pi\)-institutions
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• Order-enriched categorical models of the classical sequent calculus
• Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors

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)