Search for tag: "connectives"

Thumbnail for CL - Lecture 4.i - Reduction 1

CL - Lecture 4.i - Reduction 1

duration 4 minutes 4 seconds

CL - Lecture 4.i - Reduction 1

CL - Lecture 4.i - Reduction 1

CL - Lecture 4.i - Reduction 1

We use the rules to reduce a sequent to a…

inf1a
+24 More
From  Claudia-Elena Chirita 0 likes 398 plays 0  
Course Code
INFR08025
Licence Type
All rights reserved The University of Edinburgh
Language
English