A Methodology for Designing Proof Search Calculi for Non-Classical Logics (Invited Talk).

Alwen Tiu

Browse the full FSCD paper archive.