scientific article

zbMath1089.03056MaRDI QIDQ3370811

George Voutsadakis

Publication date: 8 February 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Leibniz filters\(\pi\)-institutions

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract deductive systems (03B22)

Related Items

Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ Categorical abstract algebraic logic: Partially ordered algebraic systems