LINEAR LOGIC FOR NETS WITH BOUNDED RESOURCES

Authors
ARCHANGELSKY DA DEKHTYAR MI TAITSLIN MA
Citation
Da. Archangelsky et al., LINEAR LOGIC FOR NETS WITH BOUNDED RESOURCES, Annals of pure and applied Logic, 78(1-3), 1996, pp. 3-28
Citations number
10
Categorie Soggetti
Mathematics, Pure",Mathematics,Mathematics,Mathematics
Journal title
Annals of pure and applied Logic → ACNP
ISSN journal
01680072
Volume
78
Issue
1-3
Year of publication
1996
Pages
3 - 28
Database
ISI
SICI code
0168-0072(1996)78:1-3<3:LLFNWB>2.0.ZU;2-L
Abstract
In this paper we introduce a new type of nets with bounded types of di stributed resources (BR-nets). Linear Logic to describe the behaviour of BR-nets is defined. It is based on Girard's Linear Logic but captur es not only consumption of resources but their presence as well. Theor em of soundness and completeness of the proposed axiomatization is pro ved and the complexity of the provability problem is established for t he general case and some particular ones.