Logic

Group Leader

Members of the Research Group

Research Topics

  • Proof Theory
  • Non-Classical Logics
  • Ordered Algebraic Structures