Substructural Logics
2. Connectives
Course notes:
We follow Frank’s course notes: (https://www.cs.cmu.edu/~fp/courses/15836-f23/lectures/02-connectives.pdf) and (https://www.cs.cmu.edu/~fp/courses/15836-f23/lectures/03-cutelim.pdf) Section 4.
Substructural Logics
We follow Frank’s course notes: (https://www.cs.cmu.edu/~fp/courses/15836-f23/lectures/02-connectives.pdf) and (https://www.cs.cmu.edu/~fp/courses/15836-f23/lectures/03-cutelim.pdf) Section 4.