Huidige functie(s)
Onderzoeksdisciplines
-
Natural sciences
- General algebraic systems
- Order, lattices, ordered algebraic structures
- Mathematical logic and foundations
- Computational logic and formal languages
Expertise
Modale logica
Algebraïsche logica