Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
From MaRDI portal
Publication:3437039
DOI10.1002/malq.200610034zbMath1117.03073WikidataQ124880472 ScholiaQ124880472MaRDI QIDQ3437039
Publication date: 11 May 2007
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200610034
diagram lemma; Leibniz congruence systems; congruence systems; reduction operator lemma; structure systems
03G30: Categorical logic, topoi
Related Items
Cites Work
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
- Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
- Categorical abstract algebraic logic: Algebraizable institutions
- Categorical abstract algebraic logic: more on protoalgebraicity
- Algebraic Characterizations for Universal Fragments of Logic
- Model Theory
- Protoalgebraic logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item