| Lambek逻辑的名词化扩充 |
| |
| 引用本文： | 聂文龙.Lambek逻辑的名词化扩充[J].南京大学学报(自然科学版),2007,24(2):258-263. |
| |
| 作者姓名： | 聂文龙 |
| |
| 作者单位： | 中山大学逻辑与认知研究所 广州510275 |
| |
| 摘 要： | 出于语言学的动机,给出著名的 Lambek 逻辑 L 的一个扩充 Lnom.在Lnom中,引入名词化的公理与规则.系统Lnom关于修正幂集剩余半群语义是可靠和完全的.
|
| 关 键 词： | 范畴语法 Lambek 逻辑 名词化 |
| 修稿时间： | 2007年10月8日 |
A NOMINALIZATION EXTENSION OF LAMBEK LOGIC |
| |
| Nie Wenlong.A NOMINALIZATION EXTENSION OF LAMBEK LOGIC[J].Journal of Nanjing University: Nat Sci Ed,2007,24(2):258-263. |
| |
| Authors: | Nie Wenlong |
| |
| Abstract: | Based on the motivation from linguistic consideration of nominalization,an extension of Lambek logic L~(nom) is given by introducing a nominalization axiom and a rule to the famous logic L. L~(nom) is proved sound and complete with respect to powerset residuated semigroup. |
| |
| Keywords: | categorial grammar nominalization Lambek logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
