
15816 Linear Logic

Out  Assignment  Reference  Due  



Jan  26 
L1.4 (peg solitaire), L1.5 (blocks world invariant), L1.6 (truman quote), L2.3 (alternative oL rule), L3.2 (alternative &L rule), L3.10 part (viii) only (interactions of o and +) 
LaTeX Support  Wed  Feb  1 
Feb  8 
L4.3 (unbound output), L4.4 (coin changing process), L5.3 (bang interactions), L6.3 (existentials), L6.4 (atm) 
Wed  Feb  15  
Feb  15 
L7.3 (cut for alternative oL rule), L8.3 (unrestricted implication), L9.1 (chaining disjunction), L9.2 (persistent focus) 
Wed  Feb  22  
Feb  26 
L10.2 (i) and (iii) only (proof terms), L10.3 (alternative bang elimination), L10.4 (from sequent calculus to natural deduction), L11.2 (multiplicative unit), L11.3 (unrestricted functions) 
Fri  Mar  2  
Mar  28  Assignment 5  Mon  Apr  9  
Apr  12  Assignment 6  Wed  Apr  18  
Apr  19  Assignment 7  Wed  May  2 
[ Home  Schedule  Assignments  Handouts  Software  Resources ]
fp@cs
Frank Pfenning