Mathematics and Computer Science :Proceedings of Annual Workshop on Mathematics and Computer Science, March 25, 2014, JOSAI UNIVERSITY

In [2], Yamaguchi et al. proposed a na¨?ve semantics of a sub set of linear logic. However, the meanings of additive disjunction and conjunction are opposite to intuition. This note modifies the semantics proposed in the previous work. And it is pointed out that the cause of constructing misleadable semantics is on the interpretation of an exponential connective.Mathematics and Computer Science : Proceedings of Annual Workshop on Mathematics and Computer Science, held at Josai University on March 25 in 2014 / edited by Masatoshi IIDA, Manabu INUMA, Kiyoko NISHIZAW