A Rule-Extension of the Non-Associative Lambek Calculus |
| |
| Authors: | Wansing Heinrich |
| |
| Affiliation: | (1) Institute of Philosophy, Dresden University of Technology, 01062 Dresden, Germany |
| |
| Abstract: | An extension L+ of the non-associative Lambek calculus Lis defined. In L+ the restriction to formula-conclusion sequents is given up, and additional left introduction rules for the directional implications are introduced. The system L+ is sound and complete with respect to a modification of the ternary frame semantics for L. |
| |
| Keywords: | Categorial Grammar Lambek Calculus coimplication |
| 本文献已被 SpringerLink 等数据库收录！ |
