Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems

DOI10.1007/s10485-005-5797-5zbMath1089.03057OpenAlexW2577190837MaRDI QIDQ816651

George Voutsadakis

Publication date: 23 February 2006

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-005-5797-5

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 (8)

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 ⋮ Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems ⋮ 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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categorical abstract algebraic logic: meet-combination of logical systems
• Grothendieck institutions
• Equivalential logics. I
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• 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
• An institution-independent proof of Craig interpolation theorem
• Equivalential and algebraizable logics
• Algebraizable logics
• Institutions: abstract model theory for specification and programming
• Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
• Protoalgebraic logics

This page was built for publication: Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems