Teacher
|
MAIELI ROBERTO
(syllabus)
Sequent Calculus Proofs *************************************** Natural Deduction
Sequent Calculus for Classical Logic (LK) and Intuitionistic Logic (LJ)
Cut elimination for LK and LJ sequent proofs
Sequent calculus for Linear Logic(LL)
Cut Elimination Theorem for LL
Focusing Theorem for LL proofs
Proof Nets ************************************* (proof-structures, correctness, normalization, adequacy, sequentialization, focusing, complexity)
Pure Multiplicative Proof Nets
Multiplicative and Additive Proof Nets
Multiplicative and Exponenial Proof Nets
Denotational Semantics
(reference books)
NOTES AND SLIDES AVAILABLE ON THE COURSE WEB PAGE https://sites.google.com/view/lm510/
|