Finite schematizable algebraic logic (Q4357323)
From MaRDI portal
scientific article; zbMATH DE number 1066122
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finite schematizable algebraic logic |
scientific article; zbMATH DE number 1066122 |
Statements
Finite schematizable algebraic logic (English)
0 references
25 September 1997
0 references
non-axiomatizability
0 references
finite schema
0 references
representable cylindric algebras
0 references
finite schema axiomatizable classes of algebras
0 references
representable quasi-polyadic algebras
0 references
finitary algebraization of first order logic
0 references
