Categorical abstract algebraic logic: Algebraizable institutions
type: Item
instance of: scholarly article
title: Categorical abstract algebraic logic: Algebraizable institutions
zbMATH Open document ID: 1028.03051
DOI: 10.1023/A:1020990419514
author: George Voutsadakis
published in: Applied Categorical Structures
publication date: 2003-04-03T00:00:00Z
review text: The framework developed by W. J. Blok and D. Pigozzi for the algebraizability of deductive systems is extended to the algebraizability of multisignature logics with quantifiers.
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18C05
zbMATH DE Number: 1892222
zbMATH Keywords: algebraic logic
zbMATH Keywords: equivalent deductive systems
zbMATH Keywords: algebraizable logics
zbMATH Keywords: institutions
zbMATH Keywords: equivalent institutions
zbMATH Keywords: algebraic theories
zbMATH Keywords: monads
zbMATH Keywords: triples
zbMATH Keywords: adjunctions
zbMATH Keywords: algebraic institutions
zbMATH Keywords: equivalent categories
zbMATH Keywords: algebraizable institutions
zbMATH Keywords: equational logic
zbMATH Keywords: clone algebras
zbMATH Keywords: substitution algebras
zbMATH Keywords: first-order logic
zbMATH Keywords: cylindric algebras
zbMATH Keywords: polyadic algebras
zbMATH Keywords: diagram-based logics
reviewed by: Yuri Movsisyan
MaRDI profile type: Publication
full work available at URL: a:1020990419514
OpenAlex ID: W1579373647
description: scientific article; zbMATH DE number 1892222