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

DOI10.1002/malq.200920103zbMath1268.03085OpenAlexW1982879916MaRDI 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 logicalgebraic semanticstranslationsinterpretationsdeductive systemmatrix semanticsprotoalgebraic \(\pi\)-institutions\(\pi\)-institution models

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract algebraic logic (03G27)

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