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.
|Publication status||Published - 1 Dec 2000|
- Algebraic logic
- Equivalential logics
- Model theory