scientific article; zbMATH DE number 5235519

zbMath1135.03034MaRDI QIDQ5441552

George Voutsadakis

Publication date: 15 February 2008

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

zbMATH Keywords

abstract algebraic logic\(\pi\)-institutions

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Related Items (4)

Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity ⋮ Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ Categorical abstract algebraic logic: Partially ordered algebraic systems ⋮ Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence

This page was built for publication: