Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic

DOI10.1093/jigpal/12.4.313zbMath1067.03069OpenAlexW2035905236MaRDI QIDQ4659579

George Voutsadakis

Publication date: 21 March 2005

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/aa670e3fc6bb30ddcdd9dd714bfb13e03d0e8fff

zbMATH Keywords

equational logiccategorical logicinstitution

Mathematics Subject Classification ID

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

Related Items (4)

A short overview of Hidden Logic ⋮ Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms ⋮ Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems ⋮ Categorical abstract algebraic logic: models of \(\pi\)-institutions

This page was built for publication: Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic