May 25, 2016                18:20                   IJAIT                   S0218213016500081  page 1


                                         International Journal on Artificial Intelligence Tools
                                         Vol. 25, No. 3 (2016) 1650008 (25 pages)
                                         c World Scientific Publishing Company
                                         DOI: 10.1142/S0218213016500081


                                          Linear Logic as a Tool  ...