Making first order linear logic a generating grammar

要約

タイトル：第一級線形論理を生成文法にする
要約：
– 同じ範囲内の異なる範疇文法は、第一級乗法線形論理の断片に表現されることが知られている。
– 興味のある断片は、最近導入された「拡張テンソル型計算」と同等であることを示す。
– これにより、従来の構文と直感的な幾何学的表現だけでなく、以前欠落していた固有の推論システムも備えることができる。

要約(オリジナル)

It is known that different categorial grammars have surface representation in a fragment of first order multiplicative linear logic. We show that the fragment of interest is equivalent to the recently introduced {\it extended tensor type calculus}. This provides the former not only with some alternative syntax and intuitive geometric representation, but also with an intrinsic deductive system, which has been absent.

arxiv情報

提供元, 利用サービス

arxiv.jp, OpenAI