Categorical abstract algebraic logic: models of \(\pi\)-institutions
From MaRDI portal
Publication:817965
DOI10.1305/ndjfl/1134397662zbMath1089.03058OpenAlexW1971410956MaRDI QIDQ817965
Publication date: 23 March 2006
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1134397662
Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract deductive systems (03B22)
Related Items (11)
Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity ⋮ Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ Conservative translations revisited ⋮ Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions ⋮ Categorical abstract algebraic logic: Partially ordered algebraic systems ⋮ Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors ⋮ Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
Cites Work
- Categorical abstract algebraic logic: referential algebraic semantics
- Institution morphisms
- Equivalential logics. I
- Equivalential logics. II
- May I borrow your logic? (Transporting logical structures along maps)
- A survey of abstract algebraic logic
- Categorical abstract algebraic logic: Equivalent institutions
- Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
- Categorical abstract algebraic logic: Algebraizable institutions
- Algebraizable logics
- Institutions: abstract model theory for specification and programming
- Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
- Protoalgebraic logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Categorical abstract algebraic logic: models of \(\pi\)-institutions