Non-finite-axiomatizability results in algebraic logic (Q4032865)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Non-finite-axiomatizability results in algebraic logic |
scientific article |
Statements
Non-finite-axiomatizability results in algebraic logic (English)
0 references
1 April 1993
0 references
relation algebras
0 references
extensions of relation set algebras
0 references
finitizability
0 references
finite-schema axiomatizability
0 references
cylindric algebras
0 references
0 references
