General logic

  1. Home
  2. Research
  3. Research areas
  4. General logic
Margherita Zorzi
Associate Professor
Research interests
Topic People Description
Proof theory, Linear logic, Type theory Margherita Zorzi
Sequent calculi for modal, linear and temporal logics. Natural deduction systems for modal, linear and temporal logics. Labelled deductive systems. Type systems for CPS. Proof nets for linear and classical logics. Deductive systems for quantum computability.

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share