Proof Systems

These are topics on which I am currently working (which typically means actively developing material for publication).

• Hypersequent calculi
  
• Sequent Calculi for a Weak Intermediate Logic