2011 | OriginalPaper | Chapter
Combinatory Categorial Grammar as a Substructural Logic
— Preliminary Remarks —
Author : Daisuke Bekki
Published in: New Frontiers in Artificial Intelligence
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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 and Lambek Lamda Calculi, and those between Hilbert-style proof systems and substructural
BCWK
-logic, I define a new class of logic which provides subclasses for each of the substructural combinatory logics, called
Subdirectional Combinatory Logic
, and propose that CCG is a subdirectional logic of a relevance logic (
Combinatory Hypothesis
). This hypothesis allows us to discuss typological parameters in universal grammar in terms of the presence/absence of a certain directional combinators.