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