带有受限缩并规则的兰贝克演算的模型论 | |
张晓君 | |
2011 | |
英文摘要 | <正>自然语言是一个由较小语言成分逐步递增地形成较大语言成分的符号体系,这就是自然语言的毗连性(COnCATEnATIOn)。通过毗连,自然语言符号串可以逐步增长扩张,这就是自然语言的生成性(gEnErATIOn)。自然语言的毗连生成体现出由小到大的递增性,弗雷格(frEgE)用语句函项的思想来分析其构造过程,即把某一语言成分当作函项,把旁边的成分当作函项的主目,把两个成分的毗连当作函项运算; 国家社会科学基金项目“面向自然语言信息处理的范畴类型逻辑研究”资助(项目编号:09BZX046) |
语种 | zh_CN |
内容类型 | 期刊论文 |
源URL | [http://dspace.xmu.edu.cn/handle/2288/116445] ![]() |
专题 | 人文学院-已发表论文 |
推荐引用方式 GB/T 7714 | 张晓君. 带有受限缩并规则的兰贝克演算的模型论[J],2011. |
APA | 张晓君.(2011).带有受限缩并规则的兰贝克演算的模型论.. |
MLA | 张晓君."带有受限缩并规则的兰贝克演算的模型论".(2011). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论