Categorical abstract algebraic logic: The categorical Suszko operator

DOI10.1002/malq.200710020zbMath1134.03045OpenAlexW1998878157MaRDI QIDQ5434205

George Voutsadakis

Publication date: 4 January 2008

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

Full work available at URL: https://doi.org/10.1002/malq.200710020

zbMATH Keywords

Leibniz operatoralgebraizable logicsprotoalgebraic logicsSuszko operatorprotoalgebraic \(\pi\)-institutions\(N\)-congruence systems\(N\)-Leibniz congruence system\(N\)-Suszko congruence system

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Categories of algebras (08C05) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (2)

Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions

Cites Work

• Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Categorical abstract algebraic logic: The categorical Suszko operator