Categorical abstract algebraic logic: The largest theory system included in a theory family

DOI10.1002/MALQ.200510034MaRDI QIDQ5485402zbMATH OpenOpenAlexFDO

Authors George Voutsadakis

Publication date 30 August 2006

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200510034

zbMATH Keywords

algebraic logicalgebraizable institutionsalgebraizable logicsequivalent deductive systemsequivalent institutionslattice of theoriesLeibniz operatorLeibniz theory systemsprealgebraicityprotoalgebraic logicsprotoalgebraicity

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Recommendations

• Categorical abstract algebraic logic: (,N)-algebraic systems
• scientific article; zbMATH DE number 5141220
• Categorical abstract algebraic logic: Partially ordered algebraic systems
• Categorical abstract algebraic logic: protoalgebraicity and Leibniz theory systems
• Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
• Categorical abstract algebraic logic. Full model, Frege systems and metalogical properties
• Categorical abstract algebraic logic: Algebraizable institutions
• Categorical abstract algebraic logic: on admissible equivalence systems
• Categorical abstract algebraic logic: meet-combination of logical systems
• Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic

Cites work

• Categorical abstract algebraic logic: Algebraizable institutions
• Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
• Categorical abstract algebraic logic: Gentzen \((\pi)\)-institutions
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Protoalgebraic logics

Cited in

(2)

• Categorical abstract algebraic logic: Partially ordered algebraic systems
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties

This page was built for publication: Categorical abstract algebraic logic: The largest theory system included in a theory family

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