Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms

DOI10.1007/s00153-004-0266-7zbMath1067.03070OpenAlexW2069832399MaRDI QIDQ1778066

George Voutsadakis

Publication date: 26 May 2005

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-004-0266-7

zbMATH Keywords

categorical logicinstitutionfirst-order logic without terms

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50)

Related Items (6)

Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ Categorical abstract algebraic logic: The categorical Suszko operator ⋮ Categorical abstract algebraic logic: The largest theory system included in a theory family ⋮ Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas ⋮ Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems ⋮ Categorical abstract algebraic logic: models of \(\pi\)-institutions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing
• Cylindric algebras. Part II
• Equivalential logics. I
• Categorical abstract algebraic logic: Equivalent institutions
• Categorical abstract algebraic logic: Algebraizable institutions
• Algebraizable logics
• Axiomatization of polynomial substitution algebras
• Institutions: abstract model theory for specification and programming
• Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic

This page was built for publication: Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms