General logic

  1. Home
  2. Research
  3. Research areas
  4. General logic
Andrea Masini
Full Professor
Margherita Zorzi
Associate Professor
Research interests
Topic People Description
Proof theory, Linear logic, Type theory Andrea Masini
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