Research Group Non-Classical Logics

Algebra and topology for logic

We study the links between syntax and semantics of logical systems with (co)-algebraic tools. Our primary interest is in the development of newu topolgocial dualities and their use in modal extension of substructiral logics.