Linear Logic: its syntax and semantics

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.