Combining soft linear logic and spatio-temporal operators

Journal of Logic and Computation

Volumn 14, Issue 5, 2004, Pages 625-650

  Kamide, Norihiro ^a  

^a KEIO UNIVERSITY   (Japan)

Author keywords

Petri net; Resource sensitive reasoning; Soft linear logic; Spatio temporal operators

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; LINEAR SYSTEMS; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; PETRI NETS; POLYNOMIALS; THEOREM PROVING;

RESOURCE-SENSITIVE REASONING; SOFT LINEAR LOGIC; SPATIO-TEMPORAL OPERATORS;

FORMAL LOGIC;

EID: 7544233475     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/14.5.625     Document Type: Article

References (30)

1. K. Došen. Sequent systems and groupoid models. I. Studio Logica, 47, 353-385, 1988.
2. K. Došen. Sequent systems and groupoid models. II. Studio Logica, 48, 41-65, 1988.
3. U. Engberg and G. Winskel. Completeness results for linear logic on Petri nets. Annals of Pure and Applied Logic, 86, 101-135, 1997.
4. J-Y. Girard. Linear logic. Theoretical Computer Science, 50, 1-102, 1987.
5. T. Hirai. Prepositional temporal linear logic and its application to concurrent systems. IEICE Transactions. Fundamentals, E83-A11, 2219-2227, 2000.
6. T. Hirai. An application of a temporal linear logic to timed Petri nets. Proceedings of Petri nets' 99 Workshop on applications of Petri nets to intelligent system development, 2-13, 1999.
7. J. Hodas and D. Miller. Logic programming in a fragment of intuitionistic linear logic. Information and Computation, 110, 327-365, 1994.
8. K. Ishihara and K. Hiraishi. The completeness of linear logic for Petri net models. Logic Journal of the IGPL, 9, 549-567, 2001.
9. N. Kamide. Kripke semantics for modal substructural logics. Journal of Logic, Language and Information, 11, 453-470, 2002.
10. N. Kamide. Sequent calculi for intaidomstic linear logic with strong negation. Logic Journal of the IGPL, 10, No. 6, 653-678, 2002.
11. N. Kamide. Linear and affine logics with temporal, spatial and epistemic operators, (submitted).
12. Max. I. Kanovich and T. Ito. Temporal linear logic specifications for concurrent procesess (extended abstract). Proceedings of 12th Annual IEEE Symposium on Logic in Computer Science, 48-57, 1998.
13. Max. I. Kanovich. Petti nets, Horn programs, linear logic and vector games. Annals of Pure and Applied Logic, 75, 107-135, 1995.
14. Kanovich, Max. I. 1994. Linear logic as a logic of computations. Annals of Pure and Applied Logic 67, 183-212.
15. N. Kobayashi, T. Shimizu and A. Yonezawa. Distributed concurrent linear logic programming. Theoretical Computer Science, 227, 185-220, 1999.
16. Y. Komori. Predicate logics without the structure rules. Studia Logica, 45, 393-404, 1986.
17. Y. Lafont. Soft linear logic and polynomial time. Theoretical Computer Science (to appear), also available in Lafont's home page.
18. D. Larchey-Wendling and D. Galmiche. Provability in intuitionistic linear logic from, a new interpretation on Petri nets - extended abstract - Electronic Notes in Theoretical Computer Science, 17, 1998.
19. D. Larchey-Wendling and D. Galmiche. Quantales as completions of ordered monoids: revised semantics for intuitionistic linear logic. Electronic Notes in Theoretical Computer Science, 35, 2000.
20. I. Lilius. High-level nets and linear logic. Lecture Notes in Computer Science, 616, Springer-Verlag, 310-327, 1992.
21. N. Martf-Oliet and J. Meseguer. From Petri nets to linear logic. Mathematical Structures in Computer Science, 1, 69-101, 1991.
22. M. Okada. An introduction to linear logic: expressiveness and phase semantics. MSJ Memoirs, 2, 255-295, 1998.
23. H. Ono and Y. Komori. Logics without the contraction role. Journal of Symbolic Logic, 50, 169-201, 1985.
24. H. Ono. Semantical analysis of predicate logics without the contraction rule. Studio Logica, 44, 187-196, 1985.
25. M. Tanabe. Timed Petri nets and temporal linear logic. Lecture Notes in Computer Science, 1248, Springer-Verlag, 156-174, 1997.
26. N. Tamura, T. Hirai, H. Yoshikawa, Kyoung-San. Kang and M. Banbara. Logic programming in an intuitionistic temporal linear logic. Information Processing Society of Japan, Transactions on Programming, 41, SIG4 (PRO 7), 11-23 (in Japanease), 2000.
27. A S. Troelstra. Lectures on linear logic. CSU Lecture Notes 29, 1992.
28. A. Urquhart. Semantics for relevant logics. Journal of Symbolic Logic, 37, 159-169, 1972.
29. H. Wansing. Informational interpretation of substructural prepositional logics. Journal of Logic, Language and Information, 2, 285-308, 1993.
30. H. Wansing. The logic of information structures. Lecture Notes in Artificial Intelligence, 681, Springer-Verlag, 1-163, 1993.