Modal Linear Logic
In this paper we continue our study of Girard's Linear Logic and introduce a new Linear Logic with modalities. Our logic describes not only consumption, but presence of resources as well. It describes transformation of resources not only for the single point but for some net, where supplies can be sent from one object to another one using interfaces. We introduce a new semantics and a new calculus for this logic and prove the completeness theorem for this calculus in respect to our semantics.
Unable to display preview. Download preview PDF.
- J.-Y Girard, La logique linéaire. Pour La Science, Edition Francaise de Scientific American, 150: 74–85, 1990.Google Scholar
- S. Abramsky, Intuitionistic Linear Logic Considered as a Programming Language. Preprint, 1990.Google Scholar
- Y. Lafont, Interaction nets. Proc. 17th ACM Symp. on Principles of Programming Languages, 95–108,1990.Google Scholar
- P. Lincoln, J. Mitchell, A. Scerdov, N. Shankar, Decision Problems for Propositional Linear Logic. In Proc. 31th IEEE Symp. Found Comput. Sci., 662–671, 1990.Google Scholar