Abstract
We present a finitary regularly algebraizable logic not finitely equivalential, for every similarity type. We associate to each of these logics a class of algebras with an equivalence relation, with the property that in this class, the identity is atomically definable but not finitely atomically definable. © 2000 Kluwer Academic Publishers.
| Original language | English |
|---|---|
| Pages (from-to) | 345-353 |
| Journal | Studia Logica |
| Volume | 64 |
| Issue number | 3 |
| Publication status | Published - 1 Dec 2000 |
Keywords
- Algebraic logic
- Equivalential logics
- Model theory