scientific article; zbMATH DE number 5247229

zbMath1137.03039MaRDI QIDQ5449284

George Voutsadakis

Publication date: 11 March 2008

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

zbMATH Keywords

Leibniz operatorcategorical abstract algebraic logiccategory of theorieslattice of theoriesalgebraizable institutionsalgebraization of Gentzen systems\(\pi\)-institutionmetalogical properties

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Related Items (5)

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: Partially ordered algebraic systems ⋮ Categorical abstract algebraic logic: The largest theory system included in a theory family

This page was built for publication: