Categorical abstract algebraic logic: Algebraizable institutions

DOI10.1023/A:1020990419514zbMath1028.03051OpenAlexW1579373647MaRDI QIDQ1866032

George Voutsadakis

Publication date: 3 April 2003

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

Full work available at URL: https://doi.org/10.1023/a:1020990419514

zbMATH Keywords

triplesfirst-order logicequational logicinstitutionsalgebraic theoriesequivalent categoriesalgebraic logicalgebraizable logicsmonadscylindric algebrassubstitution algebrasadjunctionspolyadic algebrasequivalent deductive systemsequivalent institutionsalgebraic institutionsalgebraizable institutionsclone algebrasdiagram-based logics

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Other algebras related to logic (03G25) Equational categories (18C05)

Related Items (14)

Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity ⋮ Categorical abstract algebraic logic: meet-combination of logical systems ⋮ Categorical abstract algebraic logic: referential algebraic semantics ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ Graded consequence: an institution theoretic study ⋮ Categorical abstract algebraic logic: Gentzenπ -institutions and the deduction-detachment property ⋮ A categorical study on the finiteness of specifications ⋮ 2003 Annual Meeting of the Association for Symbolic Logic ⋮ Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms ⋮ 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: truth-equational \(\pi\)-institutions ⋮ 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: Algebraizable institutions