Categorical abstract algebraic logic: models of \(\pi\)-institutions

DOI10.1305/ndjfl/1134397662zbMath1089.03058OpenAlexW1971410956MaRDI QIDQ817965

George Voutsadakis

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

zbMATH Keywords

\(\pi\)-institutions

Mathematics Subject Classification ID

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