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

DOI10.1002/malq.200510034zbMath1102.03066OpenAlexW2099218991MaRDI QIDQ5485402

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 logicLeibniz operatoralgebraizable logicsprotoalgebraic logicsprotoalgebraicitylattice of theoriesequivalent deductive systemsequivalent institutionsalgebraizable institutionsLeibniz theory systemsprealgebraicity

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Related Items (2)

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

Cites Work

• Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
• Categorical abstract algebraic logic: Algebraizable institutions
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item

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