메뉴 건너뛰기




Volumn 1210, Issue , 1997, Pages 300-318

Pomset logic: A non-commutative extension of classical linear logic

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; CALCULATIONS; COMPUTATION THEORY; DIFFERENTIATION (CALCULUS); LINEAR ALGEBRA; PATHOLOGY; RECONFIGURABLE HARDWARE; SEMANTICS; SYNTACTICS;

EID: 84957613286     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62688-3_43     Document Type: Conference Paper
Times cited : (67)

References (37)
  • 1
    • 0027574302 scopus 로고
    • Computational interpretations of linear logic
    • S. Abramsky. Computational interpretations of linear logic. Theoretical Computer Science, 111:3-57, 1993.
    • (1993) Theoretical Computer Science , vol.111 , pp. 3-57
    • Abramsky, S.1
  • 2
    • 0000764813 scopus 로고
    • Phase semantics and sequent calculus for pure non-commutative classical linear logic
    • December
    • V. M. Abrusci. Phase semantics and sequent calculus for pure non-commutative classical linear logic. Journal of Symbolic Logic, 56(4):1403-1451, December 1991.
    • (1991) Journal of Symbolic Logic , vol.56 , Issue.4 , pp. 1403-1451
    • Abrusci, V.M.1
  • 4
    • 84864190135 scopus 로고
    • Technical Report LIENS 91-15, Dép. Maths et Info, Ecole Normale Supérieure, Paris, October
    • A. Asperti. A linguistic approach to dead-lock. Technical Report LIENS 91-15, Dép. Maths et Info, Ecole Normale Supérieure, Paris, October 1991.
    • (1991) A Linguistic Approach to Dead-Lock
    • Asperti, A.1
  • 5
    • 21344488555 scopus 로고
    • Yet another correctness criterion for multiplicative linear logic with mix
    • In A. Nerode and Yu. Matiyasevich, editors, of Lecture Notes in Computer Science, St. Petersburg, July, Springer Verlag
    • A. Asperti and G. Dore. Yet another correctness criterion for multiplicative linear logic with mix. In A. Nerode and Yu. Matiyasevich, editors, Logical Fundations of Computer Science, volume 813 of Lecture Notes in Computer Science, pages 34-46, St. Petersburg, July 1994. Springer Verlag.
    • (1994) Logical Fundations of Computer Science , vol.813 , pp. 34-46
    • Asperti, A.1    Dore, G.2
  • 9
    • 0037688055 scopus 로고
    • Rendiconti del Seminario dell’Universitd d Politecnico Torino, October, Special issue on Logic and Computer Science
    • J.-Y. Girard. Multiplicatives. Rendiconti del Seminario dell’Universitd d Politecnico Torino, pages 11-33. October 1986. Special issue on Logic and Computer Science.
    • (1986) Multiplicatives , pp. 11-33
    • Girard, J.-Y.1
  • 11
    • 84976163878 scopus 로고
    • A new constructive logic: Classical logic
    • November
    • J.-Y. Girard. A new constructive logic: classical logic. Mathematical Structures in Computer Science, 1(3):255-296, November 1991.
    • (1991) Mathematical Structures in Computer Science , vol.1 , Issue.3 , pp. 255-296
    • Girard, J.-Y.1
  • 15
    • 0040324131 scopus 로고
    • Concurrency and plan generation in a logic programming language with a sequential operator
    • In P. van Hentenryck, editor, Genova, M.I.T. Press
    • A. Gugiielmi. Concurrency and plan generation in a logic programming language with a sequential operator. In P. van Hentenryck, editor, International Conference on Logic Programming, pages 240-254, Genova, 1994. M.I.T. Press.
    • (1994) International Conference on Logic Programming , pp. 240-254
    • Gugiielmi, A.1
  • 17
    • 43949161369 scopus 로고
    • Logic programming in a fragment of intuitionistic linear logic
    • J. S. Hodas and D. Miller. Logic programming in a fragment of intuitionistic linear logic. Information and computation, pages 327-365, 1994.
    • (1994) Information and Computation , pp. 327-365
    • Hodas, J.S.1    Miller, D.2
  • 18
    • 38149148467 scopus 로고
    • Linear logic as a logic of computation
    • M. Kanovitch. Linear logic as a logic of computation. Annals of pure and applied logic, 67:183-212, 1994.
    • (1994) Annals of Pure and Applied Logic , vol.67 , pp. 183-212
    • Kanovitch, M.1
  • 19
    • 84958760366 scopus 로고
    • Higher-order concurrent linear logic programming
    • of LNCS, Springer Verlag
    • N. Kobayashi and A. Yonezawa. Higher-order concurrent linear logic programming. In Theory and Practice of Parallel Programming, volume 907 of LNCS, pages 137-166. Springer Verlag, 1995.
    • (1995) Theory and Practice of Parallel Programming , vol.907 , pp. 137-166
    • Kobayashi, N.1    Yonezawa, A.2
  • 20
    • 0001065597 scopus 로고
    • The mathematics of sentence structure
    • J. Lambek. The mathematics of sentence structure. American mathematical monthly, pages 154-170, 1958.
    • (1958) American Mathematical Monthly , pp. 154-170
    • Lambek, J.1
  • 21
    • 19144370851 scopus 로고    scopus 로고
    • Pomset logic as an alternative categorial grammar
    • In G. Morrill and R. Oehrle, editors, FoLLI
    • A. Lecomte and C. Retoré Pomset logic as an alternative categorial grammar. In G. Morrill and R. Oehrle, editors, Formal Grammar, pages 181-196, FoLLI.
    • Formal Grammar , pp. 181-196
    • Lecomte, A.1    Retoré, C.2
  • 22
    • 0003323270 scopus 로고
    • of Mathematics Studies. North-Holland, Annals of Discrete Mathematics
    • L. Lovhsz and M.D. Plummer. Matching Theory, volume 121 of Mathematics Studies. North-Holland, 1986. Annals of Discrete Mathematics 29.
    • (1986) Matching Theory , vol.121 , pp. 29
    • Lovhsz, L.1    Plummer, M.D.2
  • 24
    • 0010509074 scopus 로고
    • Kluwer Academic Publishers, Dordrecht and Hingham
    • G. V. Morrill. Type Logical Grammar. Kluwer Academic Publishers, Dordrecht and Hingham, 1994.
    • (1994) Type Logical Grammar
    • Morrill, G.V.1
  • 26
    • 0038375915 scopus 로고
    • Electronic manuscript, University of Illinois (anonymous FTP from cs.niuc.edu), October
    • U. S. Reddy. A linear logic model of state. Electronic manuscript, University of Illinois (anonymous FTP from cs.niuc.edu), October 1993.
    • (1993) A Linear Logic Model of State
    • Reddy, U.S.1
  • 27
    • 0030084648 scopus 로고    scopus 로고
    • Global state considered unnecessary: An introduction to object-based semantics
    • to appear
    • U. S. Reddy. Global state considered unnecessary: An introduction to object-based semantics. Journal of Lisp and Symbolic Computation, 1996. (to appear).
    • (1996) Journal of Lisp and Symbolic Computation
    • Reddy, U.S.1
  • 28
    • 18544388585 scopus 로고
    • Thèse de Doctorat, spécialité Mathé- matiques, Université Paris 7, février
    • C. Retoré. Réseaux et Séquents Ordonnés. Thèse de Doctorat, spécialité Mathé- matiques, Université Paris 7, février 1993.
    • (1993) Réseaux Et Séquents Ordonnés
    • Retoré, C.1
  • 31
    • 84958955163 scopus 로고
    • Une modalité autoduale pour le connecteur “precede”
    • Pierre Ageron, editor, Publications du Département de Mathématiques, Université de Caen, septembre
    • C. Retoré. Une modalité autoduale pour le connecteur “precede”. In Pierre Ageron, editor, Catégories, Algèbres, Esquisses et Néo-Esquisses, Publications du Département de Mathématiques, Université de Caen, pages 11-16, septembre 1994.
    • (1994) Catégories, Algèbres, Esquisses Et Néo-Esquisses , pp. 11-16
    • Retoré, C.1
  • 32
    • 19144368951 scopus 로고    scopus 로고
    • Perfect matchings and series-parallel graphs: Multiplicative proof nets as R&B-graphs
    • In J.-Y. Girard, M. Okada, and A. Scedrov, editors, of Electronic Notes in Computer Science. Elsevier
    • C. Retoré. Perfect matchings and series-parallel graphs: multiplicative proof nets as R& B-graphs. In J.-Y. Girard, M. Okada, and A. Scedrov, editors, Linear’96, volume 3 of Electronic Notes in Computer Science. Elsevier, 1996. (available from http://pigeon.elsevier.nl/mcs/tcs/pc/menu.html).
    • (1996) Linear’96 , vol.3
    • Retoré, C.1
  • 33
  • 34
    • 84958977147 scopus 로고    scopus 로고
    • Pomset logic and discontinuity in natural language
    • C. Retort, editor, CRIN-C.N.R.S. & INRIA-Lorraineto appear in LNCS/LNAI series, Springer-Verlag
    • I. Schena. Pomset logic and discontinuity in natural language. In C. Retort, editor, Logical Aspects of Computational Linguistics, pages 7-12. CRIN-C.N.R.S. & INRIA-Lorraine, 1996. (to appear in LNCS/LNAI series, Springer-Verlag).
    • Logical Aspects of Computational Linguistics , pp. 7-12
    • Schena, I.1
  • 36
    • 0003697510 scopus 로고
    • of Center for the Study of Language and Information Lecture Notes. Cambridge University Press
    • A. S. Troelstra. Lectures on Linear Logic, volume 29 of Center for the Study of Language and Information Lecture Notes. Cambridge University Press, 1992.
    • (1992) Lectures on Linear Logic , vol.29
    • Troelstra, A.S.1
  • 37
    • 0001404569 scopus 로고
    • The recognition of Series-Parallel digraphs
    • May
    • J. Valdes, R.E. Tarjan, and E. L. Lawler. The recognition of Series-Parallel digraphs. SIAM Journal of Computing, 11(2):298-313, May 1982.
    • (1982) SIAM Journal of Computing , vol.11 , Issue.2 , pp. 298-313
    • Valdes, J.1    Tarjan, R.E.2    Lawler, E.L.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.