Abstract
The starting point of the present study is the interpretation of intuitionistic linear logic in Petri nets proposed by U. Engberg and G. Winskel. We show that several categories of order algebras provide equivalent interpretations of this logic, and identify the category of the so called strongly coherent quantales arising in these interpretations. The equivalence of the interpretations is intimately related to the categorical facts that the aforementioned categories are connected with each other via adjunctions, and the compositions of the connecting functors with co-domain the category of strongly coherent quantales are dense. In particular, each quantale canonically induces a Petri net, and this association gives rise to an adjunction between the category of quantales and a category whose objects are all Petri nets.
Similar content being viewed by others
References
Brown, C., Petri nets as quantales, Technical Report ECS-LFCS-89-96, Laboratory for Foundations of Computer Science, University of Edinburgh, Scotland, 1989.
Crawley, P., and R. P. Dilworth, Algebraic Theory of Lattices, Prentice-Hall, 1973.
Engberg, U., and G. Winskel, ‘Petri Nets as Models of Linear Logic’, in CAAP' 90, Coll. on Trees in Algebra and Programming (Copenhagen), LNCS No. 431, Springer-Verlag, 1990, pp. 147-161.
Engberg, U., and G. Winskel, ‘Completeness Results for Linear Logic on Petri Nets’, in Mathematical Foundations of Computer Science 1993, LNCS No. 711, Springer-Verlag, 1993, pp. 442-452.
Girard, J.-Y. ‘Linear Logic’, Theoretical Computer Science 50 (1987), 1-102.
GUNTER, C., and V. GEHLOT, ‘Nets as Tensor Theories’, 10th International Conference on Applications and Theory of Petri Nets. Bonn, 1989, pp. 174-191.
Lilius, J., On the Compositionality and Analysis of Algebraic High-level Nets, Research Reports, Series A, No. 16, Digital Systems Laboratory, Helsinki University of Technology, March 1991.
Martí-Oliet, N., and J. Meseguer, ‘From Petri Nets to Linear Logic’, in Category Theory and Computer Science, Manchester, UK, LNCS No. 389, Springer-Verlag, 1989.
Meseguer, J., and U. Montanari, ‘Petri Nets Are Monoids: A New Algebraic Foundation for the Net Theory’, Third Annual IEEE Symposium on Logic in Computer Science, Edinburgh, Scotland, July 1988, pp. 155-164.
Meseguer, J., and U. Montanari, ‘Petri Nets Are Monoids’, Information and Computation 88 (1990), 105-155.
Reising, W., Petri Nets: An Introduction, Springer-Verlag, 1985.
Rosenthal, K., Quantales and their applications, Longman Scientific & Technical, 1990.
Troelstra, A. S., Lectures on Linear Logic, CSLI Lecture Notes, No. 29, Stanford University, 1992.
Yetter, D., ‘Quantales and (Non-commutative) Linear Logic’, The Journal of Symbolic Logic 55 (1990), 41-64.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Tsinakis, C., Zhang, H. Order Algebras as Models of Linear Logic. Studia Logica 76, 201–225 (2004). https://doi.org/10.1023/B:STUD.0000032085.13087.bd
Issue Date:
DOI: https://doi.org/10.1023/B:STUD.0000032085.13087.bd