|
|
|
Summary Of: Linear logic
classical and intuitionistic logic can be encoded in linear logic by means of additional... This makes linear logic useful for reasoning about the world in many simple situations where ordinary logic is not... The rejection of weakening and contraction allows linear logic to avoid this kind of spurious reasoning... linear logic defines the connective of... Linear logic uses an idea from... Linear logic has many restrictions and variants... is the original linear logic as proposed by Girard... Other variants of linear logic variously allow or disallow certain connectives... which extends linear logic with the structural rule of... Introduction to Linear Logic by Torben Brauner... A taste of linear logic by Philip Wadler... Linear Logic in Computer Science... Encyclodia Page On: Linear logic
|
|
 |
