Search for tag: "gammas"

CL - Implication

We derive the implication rule using the rules introduced last week.

From  Haoran Peng 0 likes 384 plays 0  

CL - Lecture 4.h - Sequents 3

We can now give Gentzen's rules for ¬ ⋀ ⋁.

From  Claudia-Elena Chirita 0 likes 356 plays 0