Abstract
We show that the two-sorted algebra of Booleans and naturals with conjunction, addition and inequality is not finitely based. If addition is removed, or negation is included, then the resulting algebra is finitely based. © Birkhäuser Verlag, Basel, 2004.
Original language | English |
---|---|
Pages (from-to) | 469-485 |
Journal | Algebra Universalis |
Volume | 52 |
Issue number | 4 |
DOIs | |
Publication status | Published - 2005 |