Categorical abstract algebraic logic: more on protoalgebraicity

DOI10.1305/ndjfl/1168352663zbMath1134.03044OpenAlexW2090735044MaRDI QIDQ2372683

George Voutsadakis

Publication date: 1 August 2007

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1168352663

zbMATH Keywords

sentential logicprotoalgebraic logics\(\pi\)-institutionsalgebraization of deductive systems

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

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: behavioral \(\pi\)-institutions ⋮ Categorical abstract algebraic logic: Partially ordered algebraic systems ⋮ Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence ⋮ Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas ⋮ Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions

This page was built for publication: Categorical abstract algebraic logic: more on protoalgebraicity