Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions

DOI10.1002/malq.200920103zbMath1268.03085MaRDI QIDQ4928968

George Voutsadakis

Publication date: 19 June 2013

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

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

zbMATH Keywords

equational logic; algebraic semantics; translations; interpretations; deductive system; matrix semantics; protoalgebraic \(\pi\)-institutions; \(\pi\)-institution models

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

03G27: Abstract algebraic logic

Related Items

Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categorical abstract algebraic logic: models of \(\pi\)-institutions
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
• A survey of abstract algebraic logic
• Algebraic semantics for deductive systems
• Categorical abstract algebraic logic: Partially ordered algebraic systems
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
• Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors
• Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based  -Institutions