Vel, M.L.J. van de

Research Statement

My current research is on Tarski's relation algebras, augmented with so-called features that allow to build record-like structures. Any theory in first-order logic can be faithfully interpreted into a theory of relation algebras with features. Faithful addition of recursive definitions then provides a language unifying first-order logic with a general algorithmic language (assignment, if-then-else, while) at a much higher level than Turing machines.