Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions
From MaRDI portal
Publication:4928968
DOI10.1002/malq.200920103zbMath1268.03085MaRDI QIDQ4928968
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
equational logic; algebraic semantics; translations; interpretations; deductive system; matrix semantics; protoalgebraic \(\pi\)-institutions; \(\pi\)-institution models
Related Items
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