Narciso Mart'i-Oliet and Jos'e Meseguer. From Petri Nets to Linear Logic: a Survey. International Journal of Foundations of Computer Science, 2(4):297--399, 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Completeness Results for Linear Logic on Petri Nets.. - Engberg, Winskel (Correct)
.... models (see section 5) The work here contrasts with other approaches to linear logic on Petri nets in that they either apply only to much smaller fragments of the logic such as the Omega fragment (cf. GG89] or use the transitions of a Petri net to freely generate a linear logic theory (cf. [MOM91]) in which case the logic becomes rather inexpressive, and in particular cannot capture negative properties, or they don t address completeness at all. While it is claimed that this paper together with [EW90] help in the understanding of linear logic, it is also hoped that, through these ....
Narciso Mart'i-Oliet and Jos'e Meseguer. From Petri Nets to Linear Logic: a Survey. International Journal of Foundations of Computer Science, 2(4):297--399, 1991.
Linear Logic on Petri Nets - Engberg, Winskel (1994) (8 citations) (Correct)
.... here (filling out that of [EW90, EW93] contrasts with other approaches to linear logic on Petri nets in that they either apply only to much smaller fragments of the logic such as the Omega fragment (cf. GG89b] or use the transitions of a Petri net to freely generate a linear logic theory (cf. [MOM91]) in which case the logic becomes rather inexpressive, and in particular cannot capture negative 4 properties, or they don t address completeness at all. 2 Intuitionistic Linear Logic In the Gentzen sequent calculus for intuitionistic logic a sequent, A 1 ; A n A, is written to mean ....
Narciso Mart'i-Oliet and Jos'e Meseguer. From Petri Nets to Linear Logic: a Survey. International Journal of Foundations of Computer Science, 2(4):297--399, 1991.
Completeness Results for Linear Logic on Petri Nets - Engberg, Winskel (1993) (25 citations) (Correct)
.... as models (see section 6) The work here contrasts with other approaches to linear logic on Petri nets in that they either apply only to much smaller fragments of the logic such as the Omega fragment (cf. GG89] or use the transitions of a Petri net to freely generate a linear logic theory (cf. [MOM91]) in which case the logic becomes rather inexpressive, and in particular cannot capture negative properties, or they don t address completeness at all. While it is claimed that this paper together with [EW90] help in the understanding of linear logic, it is also hoped that, through these results, ....
Narciso Mart'i-Oliet and Jos'e Meseguer. From Petri Nets to Linear Logic: a Survey. International Journal of Foundations of Computer Science, 2(4):297--399, 1991.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC