Linear Logic: its syntax and semantics

THE SYNTAX OF LINEAR LOGIC The connectives of linear logic Linear logic is not an alternative logic ; it should rather be seen as an extension of usual logic. Since there is no hope to modify the extant classical or intuitionistic connectives, linear logic introduces new connectives. Exponentials : ... View More