Lambek grammars based on pregroups

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2099, Issue , 2001, Pages 95-109

  Buszkowski, Wojciech ^a  

^a ADAM MICKIEWICZ UNIVERSITY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; CONTEXT FREE GRAMMARS; DIFFERENTIATION (CALCULUS); LINGUISTICS; SYNTACTICS;

LAMBEK CALCULUS; PREGROUPS; SYNTACTIC STRUCTURE;

CALCULATIONS;

EID: 84937699645     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48199-0_6     Document Type: Conference Paper

References (15)

1. V.M. Abrusci, Lambek Calculus, Cyclic Multiplicative-Additive Linear Logic, Noncommutative Multiplicative-Additive Linear Logic: language and sequent calculus, in: V.M. Abrusci and C. Casadio (eds.), Proofs and Linguistic Categories, Proc. 1996 Roma Workshop, Bologna, 1996, 21-48.
2. K. Ajdukiewicz, Die syntaktische Konnexität, Studia Philosophica 1 (1935), 1-27.
3. Y. Bar-Hillel, C. Gaifman and E. Shamir, On categorial and phrase structure grammars, Bull. Res. Council Israel F 9 (1960), 155-166.
4. W. Buszkowski, Completeness results for Lambek Syntactic Calculus, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 32 (1986), 13-28.
5. W. Buszkowski, Generative capacity of nonassociative Lambek calculus, Bull. Polish Academy Scie. Math. 34 (1986), 507-516.
6. W. Buszkowski, Extending Lambek grammars to basic categorial grammars, Journal of Logic, Language and Information 5 (1996), 279-295.
7. W. Buszkowski, Mathematical linguistics and proof theory, in: J. van Benthem and A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, MIT Press, Cambridge Mass., 1997, 683-736.
8. W. Buszkowski, Pregroups and grammars, Proc. 6th Roma Workshop, to appear.
9. L. Fuchs, Partially Ordered Algebraic Systems, Pergamon Press, Oxford, 1963.
10. S. Ginsburg, The Mathematical Theory of Context-Free Languages, McGraw-Hill, New York, 1966.
11. M. Kandulski, The equivalence of nonassociative Lambek categorial grammars and context-free grammars, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 34 (1988), 41-52.
12. A. Kíslak, Parsing based on pre-groups. Comments on the new Lambek theory of syntactic structure, in: Y. Hamamatsu, W. Kosínski, L. Polkowski, M. Toho and T. Yonekura (eds.), Formal Methods and Intelligent Techniques in Control, Decision Making, Multimedia, and Robotics, Polish-Japanese Institute of Information Technology, Warsaw, 2000, 41-49.
13. J. Lambek, The mathematics of sentence structure, American Mathematical Monthly 65 (1958), 154-170.
14. J. Lambek, Type grammars revisited, in: A. Lecomte, F. Lamarche and G. Perrier (eds.), Logical Aspects of Computational Linguistics, LNAI 1582, Springer, Berlin, 1999, 1-27.
15. M. Pentus, Lambek grammars are context-free. Prepublication Series: Mathematical Logic and Theoretical Computer Science 8, Steklov Mathematical Institute, Moscow, 1992.