Abstract
There are two ways to present this work; the most efficient is of course to start with the main syntactical definitions, and to end with semantics: this is the presentation that we follow in the body of the text: section 1, syntex; section 2, semantics. Another possibility is to follow the order of discovery of the concepts, which (as expected) starts with the semantics and ends with the syntex; we adopt this second way for our introduction, hoping that this orthogonal look at the same object will help to apprehend the concepts.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference7 articles.
1. Linear Logic;Girard;Theret, Comput. Sci.,1987
2. Girard J.-Y. (1991) On the unity of logic. Submitted to the proceedings of ALC ‘90, APAL.
3. Andréoli J.-M. and Pareschi R. (1991) Linear objects: logical proceses with built-in inheritence. To appear in new generation Computing.
Cited by
163 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semi-Substructural Logics with Additives;Electronic Proceedings in Theoretical Computer Science;2024-04-23
2. A Strong Bisimulation for a Classical Term Calculus;Logical Methods in Computer Science;2024-04-18
3. Analyticity with extra-logical information;Journal of Logic and Computation;2024-04-04
4. The Session Abstract Machine;Lecture Notes in Computer Science;2024
5. Deduction at the Crossroads;Synthese Library;2024