Categorical abstract algebraic logic: Algebraizable institutions (Q1866032)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Categorical abstract algebraic logic: Algebraizable institutions |
scientific article |
Statements
Categorical abstract algebraic logic: Algebraizable institutions (English)
0 references
3 April 2003
0 references
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.
0 references
algebraic logic
0 references
equivalent deductive systems
0 references
algebraizable logics
0 references
institutions
0 references
equivalent institutions
0 references
algebraic theories
0 references
monads
0 references
triples
0 references
adjunctions
0 references
algebraic institutions
0 references
equivalent categories
0 references
algebraizable institutions
0 references
equational logic
0 references
clone algebras
0 references
substitution algebras
0 references
first-order logic
0 references
cylindric algebras
0 references
polyadic algebras
0 references
diagram-based logics
0 references
