Algebraic Logic
General text comes here.
Research staff:
Recent titles:
- Applying Algebraic Logic;
a General Methodology
- A finite axiomatization of locally square cylindric-relativized set algebras
- Notions of density that imply representability in algebraic logic
- Complexity of equations valid in algebras of relations
- The equational theories of representable positive cylindric and relation algebras are decidable