Research Group Team Teheux

Non-classical logics

Teheux Overview

Our group investigates logical systems using algebra and topology to establish links between syntax and semantic.

Algebra and logic


Our team investigates non-classical logics by exploring their algebraic counterparts. To do so, we develop and apply Stone-type dualities. Our primary interest is in non-classical logics and their modal extensions.