期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
论类型逻辑语法对蒙太古语法的继承与发展
被引量：
2
1
作者
王欣
《山东大学学报（哲学社会科学版）》
CSSCI
北大核心
2011年第5期146-150,共5页
蒙太古语法和类型逻辑语法的内部构造和运行方式大致相同,类型逻辑语法最重要的发展在于更严格地贯彻了组合性原则,原因是它采用的范畴语法达到了兰贝克演算的生成能力,高阶内涵逻辑增加了多形态并列组合器等手段。对名词短语的处理凸...
蒙太古语法和类型逻辑语法的内部构造和运行方式大致相同,类型逻辑语法最重要的发展在于更严格地贯彻了组合性原则,原因是它采用的范畴语法达到了兰贝克演算的生成能力,高阶内涵逻辑增加了多形态并列组合器等手段。对名词短语的处理凸显了二者的异同。
展开更多
关键词
蒙太古语法
类型逻辑语
法
组合性原则
兰贝克演算
多形态并列组合器
在线阅读
下载PDF
职称材料
现代逻辑学理论分科
2
《内蒙古社会科学》
CSSCI
北大核心
1996年第4期83-83,共1页
现代逻辑学理论分科现代逻辑学基本理论是多方面的，大致分为四个方面：一，数理逻辑包括一阶逻辑、高阶逻辑、模型论、证明论、递归论和公理集合论；二，哲学逻辑包括经典逻辑的各种扩充和各种非经典逻辑，如模态逻辑、时态逻辑、条件...
现代逻辑学理论分科现代逻辑学基本理论是多方面的，大致分为四个方面：一，数理逻辑包括一阶逻辑、高阶逻辑、模型论、证明论、递归论和公理集合论；二，哲学逻辑包括经典逻辑的各种扩充和各种非经典逻辑，如模态逻辑、时态逻辑、条件句逻辑、多值逻辑、相干逻辑、直觉主...
展开更多
关键词
现代逻辑
学理论
多值逻辑
逻辑学
非经典逻辑
公理集合论
弗协调逻辑
人工智能
蒙太古语法
时态逻辑
在线阅读
下载PDF
职称材料
题名
论类型逻辑语法对蒙太古语法的继承与发展
被引量：
2
1
作者
王欣
机构
北京语言大学外国语学院英语系
出处
《山东大学学报（哲学社会科学版）》
CSSCI
北大核心
2011年第5期146-150,共5页
文摘
蒙太古语法和类型逻辑语法的内部构造和运行方式大致相同,类型逻辑语法最重要的发展在于更严格地贯彻了组合性原则,原因是它采用的范畴语法达到了兰贝克演算的生成能力,高阶内涵逻辑增加了多形态并列组合器等手段。对名词短语的处理凸显了二者的异同。
关键词
蒙太古语法
类型逻辑语
法
组合性原则
兰贝克演算
多形态并列组合器
Keywords
Montague grammar
type-logical grammar
principle of compositionality
Lambek calculus
polymorphic coordination combinator
分类号
H04 [语言文字—语言学]
在线阅读
下载PDF
职称材料
题名
现代逻辑学理论分科
2
出处
《内蒙古社会科学》
CSSCI
北大核心
1996年第4期83-83,共1页
文摘
现代逻辑学理论分科现代逻辑学基本理论是多方面的，大致分为四个方面：一，数理逻辑包括一阶逻辑、高阶逻辑、模型论、证明论、递归论和公理集合论；二，哲学逻辑包括经典逻辑的各种扩充和各种非经典逻辑，如模态逻辑、时态逻辑、条件句逻辑、多值逻辑、相干逻辑、直觉主...
关键词
现代逻辑
学理论
多值逻辑
逻辑学
非经典逻辑
公理集合论
弗协调逻辑
人工智能
蒙太古语法
时态逻辑
分类号
B81 [哲学宗教—逻辑学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
论类型逻辑语法对蒙太古语法的继承与发展
王欣
《山东大学学报（哲学社会科学版）》
CSSCI
北大核心
2011
2
在线阅读
下载PDF
职称材料
2
现代逻辑学理论分科
《内蒙古社会科学》
CSSCI
北大核心
1996
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
