- Volume 25 Issue 3
As a product of modern proof theory, linear logic is a new form of logic developed for the purpose of enhancing programming language by Professor Jean-Yves Girard of Marseille University (France) in 1987 by supplementing intuitionist logic in a sophisticated manner. Thus, linear logic' s connectives can be explained using information processing terms such as sequentiality and parallel computation. For instance, A
- Coquand, T. and Huet, G. (1988), "The calculus of constructions", Information and Computation 76, pp. 95-120. https://doi.org/10.1016/0890-5401(88)90005-3
- Di cosmo, Roberto, and Damos, Vincent, The Linear logic primer. (http://www. dicosmo.org/CourseNotes/LinLog/)
- Danos, V. and Regnier, L. (1989), "The structure of multiplicatives", Archive for Mathematical Logic 28, pp. 181-203. https://doi.org/10.1007/BF01622878
- Girard, J. Y. (1987), "Linear logic", Theoretical Computer Science 50, pp. 1-102. https://doi.org/10.1016/0304-3975(87)90045-4
- Girard, J. Y., Lafont, Y and Taylor, P. (1989), Proofs and Types, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press.
- Girard, J. Y. (1993), "On the unity of logic", Annals of Pure and Applied Logic 59, pp. 201-217. https://doi.org/10.1016/0168-0072(93)90093-S
- Girard, J. Y. (2001), Locus Solum, Mathematical Structures in Computer Science 11, pp. 301-506.
- Lambek, J. (1958), "The mathematics of sentence structures", American Mathematical Monthly 65, pp. 154-169. https://doi.org/10.2307/2310058
- Laurent, O. (2003), "Etude de la polarisation en logique", These de doctorat, Universite Aix-Marseille II, March.
- Scedrow A., A brief guide to linear logic, Bulletin of the European Association for Theoretical Computer Science, v. 41, pp. 154-165.
- Troelstra, A. S. (1992), Lectures on Linear Logic, CSLI(Center for the Study of Language and Information) Lecture Notes No. 29, Stanford.
- Wadler P., A taste of linear logic, MFPS, Springer Verlag LNCS 711, Gdansk, Aug 1993.