메뉴 건너뛰기




Volumn 1582, Issue , 1999, Pages 1-27

Type grammar revisited

Author keywords

[No Author keywords available]

Indexed keywords

ADJOINTS; ENGLISH WORD; NON-COMMUTATIVE LINEAR LOGIC; PREGROUP; PREGROUPS; TENSOR PRODUCTS; TYPE GRAMMARS;

EID: 84949559918     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48975-4_1     Document Type: Conference Paper
Times cited : (115)

References (42)
  • 1
    • 0000764813 scopus 로고
    • Sequent calculus and phase semantics for pure noncommutative classical propositional linear logic
    • V.M. Abrusci, Sequent calculus and phase semantics for pure noncommutative classical propositional linear logic, Journal of Symbolic Logic 56 (1991), 1403–1451.
    • (1991) Journal of Symbolic Logic , vol.56 , pp. 1403-1451
    • Abrusci, V.M.1
  • 2
    • 84949601831 scopus 로고    scopus 로고
    • non-comm utative multiplicative -additiv e linear logic: language and sequent calculus; in: V.M. Abrusci and C. Casadio (eds), Proofs and linguistic categories, Proceedings
    • V.M. Abrusci, Lambek calculus, cyclic multiplicative -additiv e linear logic, non-comm utative multiplicative -additiv e linear logic: language and sequent calculus; in: V.M. Abrusci and C. Casadio (eds), Proofs and linguistic categories, Proceedings 1996
    • (1996) Lambek Calculus, Cyclic Multiplicative -Additiv E Linear Logic
    • Abrusci, V.M.1
  • 4
    • 84949544291 scopus 로고
    • Translated in: S. McCall, Polish Logic 1920-1939, Claredon Press, Oxford 1967
    • K. Ajdukiewicz, Die syntaktische Konnexität, Studia Philosophica 1 (1937), 1–27. Translated in: S. McCall, Polish Logic 1920-1939, Claredon Press, Oxford 1967.
    • (1937) Studia Philosophica 1 , pp. 1-27
    • Ajdukiewicz, K.1    Konnexität, D.S.2
  • 5
    • 0010898587 scopus 로고
    • A quasiarithmetical notation for syntactic description
    • Y. Bar-Hillel, A quasiarithmetical notation for syntactic description, Language 29 (1953), 47–58.
    • (1953) Language , vol.29 , pp. 47-58
    • Bar-Hillel, Y.1
  • 15
    • 1542758155 scopus 로고
    • Some logical aspects of grammatical structure
    • R. Jacobson (editor), AMS Proc. Symposia Applied Mathematics
    • H.B. Curry, Some logical aspects of grammatical structure, in: R. Jacobson (editor), Structure of language and its mathematical aspects, AMS Proc. Symposia Applied Mathematics 12 (1961), 56–67.
    • (1961) Structure of Language and Its Mathematical Aspects , vol.12 , pp. 56-67
    • Curry, H.B.1
  • 22
    • 0010946830 scopus 로고
    • The Lambek calculus enriched with additional connectives
    • M. Kanazawa, The Lambek calculus enriched with additional connectives, J. Logic, Language & Information 1 (1992), 141–171.
    • (1992) J. Logic, Language & Information , vol.1 , pp. 141-171
    • Kanazawa, M.1
  • 23
    • 0001065597 scopus 로고
    • The mathematics of sentence structure
    • J. Lambek, The mathematics of sentence structure, Amer. Math. Monthly 65 (1958), 154-169.
    • (1958) Amer. Math. Monthly , vol.65 , pp. 154-169
    • Lambek, J.1
  • 24
    • 80054524950 scopus 로고
    • Contribution to a mathematical analysis of the English verb-phrase
    • J. Lambek, Contribution to a mathematical analysis of the English verb-phrase, J. Canadian Linguistic Assoc. 5 (1959), 83–89.
    • (1959) J. Canadian Linguistic Assoc , vol.5 , pp. 83-89
    • Lambek, J.1
  • 26
    • 80054533558 scopus 로고
    • On a connection between algebra, logic and linguistics
    • J. Lambek, On a connection between algebra, logic and linguistics, Diagrammes 22 (1989), 59–75.
    • (1989) Diagrammes , vol.22 , pp. 59-75
    • Lambek, J.1
  • 27
    • 84949544694 scopus 로고
    • Grammar as mathematics, Can
    • J. Lambek, Grammar as mathematics, Can. Math. Bull. 32 (1989), 257–273.
    • (1989) Math. Bull , vol.32 , pp. 257-273
    • Lambek, J.1
  • 28
    • 84949545815 scopus 로고
    • Production grammars revisited
    • J. Lambek, Production grammars revisited, Linguistic Analysis 23 (1993), 205–225.
    • (1993) Linguistic Analysis , vol.23 , pp. 205-225
    • Lambek, J.1
  • 30
    • 0011143884 scopus 로고
    • Some lattice models of bilinear logic
    • J. Lambek, Some lattice models of bilinear logic, Algebra Universalis 34 (1995), 541–550.
    • (1995) Algebra Universalis , vol.34 , pp. 541-550
    • Lambek, J.1
  • 31
    • 27544486846 scopus 로고
    • On the nominalistic interpretation of natural languages
    • M. Marion et al., Kluwer, Dordrecht
    • J. Lambek, On the nominalistic interpretation of natural languages, in: M. Marion et al. (eds), Québec Studies in Philosophy of Science I, 69-74, Kluwer, Dordrecht 1995.
    • (1995) Québec Studies in Philosophy of Science I , pp. 69-74
    • Lambek, J.1
  • 32
    • 84949601836 scopus 로고    scopus 로고
    • Bilinear logic and Grishin algebras
    • E. Orlowska (editor), Essays dedicated to the memory of Helena Rasiowa, Kluwer, Dordrecht, to appear
    • J. Lambek, Bilinear logic and Grishin algebras in: E. Orlowska (editor), Logic at work, Essays dedicated to the memory of Helena Rasiowa, Kluwer, Dordrecht, to appear.
    • Logic at Work
    • Lambek, J.1
  • 39
    • 0027225009 scopus 로고
    • Lambek grammars are context free
    • M. Pentus, Lambek grammars are context free, Proc. 8th LICS conference (1993), 429–433.
    • (1993) Proc. 8Th LICS Conference , pp. 429-433
    • Pentus, M.1
  • 40
    • 0012132975 scopus 로고
    • Models for the Lambek calculus
    • M. Pentus, Models for the Lambek calculus, Annals Pure & Applied Logic 75 (1995), 179–213.
    • (1995) Annals Pure & Applied Logic , vol.75 , pp. 179-213
    • Pentus, M.1


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