Combinatory categorial grammar as a substructural logic: preliminary remarks
作者： Daisuke Bekki
DOI: 10.1007/978-3-642-25655-4_3
关键词:
摘要: This paper aims to provide a logical background for Combinatory Categorial Grammar (CCG) and its typological discussions. Based on the Curry-Howard correspondence between Gentzen-style proof systems Lambek Lamda Calculi, those Hilbert-style substructural BCWK-logic, I define new class of logic which provides subclasses each combinatory logics, called Subdirectional Logic, propose that CCG is subdirectional relevance (Combinatory Hypothesis). hypothesis allows us discuss parameters in universal grammar terms presence/absence certain directional combinators.
springer.com
sci-hub.st 参考文章(45)
Wojciech Buszkowski, The Logic of Types Springer Netherlands. pp. 180- 206 ,(1987) , 10.1007/978-94-009-3673-7_11
Wojciech Buszkowski, Mathematical Linguistics and Proof Theory Handbook of Logic and Language. pp. 683- 736 ,(1997) , 10.1016/B978-044481714-3/50016-3
Graham Priest, An introduction to non-classical logic ,(2001)
Gerhard Jäger, Anaphora and Type Logical Grammar ,(2005)
Initiatives in logic M. Nijhoff. ,(1987) , 10.1007/978-94-009-3673-7
Meaning, Use, and Interpretation of Language W. de Gruyter. ,(1983) , 10.1515/9783110852820
Angus Macintyre, Trends in Logic Studies in logic and the foundations of mathematics. ,vol. 127, pp. 365- 367 ,(1989) , 10.1016/S0049-237X(08)70277-5
Greg Restall, An Introduction to Substructural Logics ,(1999)
Barbara H. Partee, Mats Rooth, Generalized Conjunction and Type Ambiguity Formal Semantics: The Essential Readings. pp. 334- 356 ,(2008) , 10.1002/9780470758335.CH14
Mark Steedman, Jason Baldridge, Combinatory Categorial Grammar Non-Transformational Syntax: Formal and Explicit Models of Grammar. pp. 181- 224 ,(2011) , 10.1002/9781444395037.CH5