A Set Theoretical Semantics for a Subsystem of Linear Logic
Fumihiko Yamaguchi · 2014
In (2), Yamaguchi et al. proposed a na¨ove semantics of a sub set of linear logic. However, the meanings of additive disjunction and con- junction 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.