期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
Towards a Unified Framework of Syntax, Semantics and Logic
1
作者 Francis Yunqing Lin 《中山大学学报(社会科学版)》 CSSCI 北大核心 2003年第S1期20-33,共14页
1. IntroductionHumans have the ability (or competence) to think logically, and this is an undeniable fact. However,what this ability consists in is a difficult question. It might be said that logical ability consists ... 1. IntroductionHumans have the ability (or competence) to think logically, and this is an undeniable fact. However,what this ability consists in is a difficult question. It might be said that logical ability consists in theknowledge of a set of logic rules. But what are those logic rules? For centuries logicians have devel- 展开更多
关键词 of work on it as that semantics and logic Towards a Unified Framework of Syntax
下载PDF
Intuitionistic Logic as the Implement of Incremental Model Construction for Natural Language
2
作者 张彤 《Journal of Computer Science & Technology》 SCIE EI CSCD 1998年第1期13-17,共5页
The process of understanding natural language can be viewed as the process of model construction. This paper? employing Kripke frame for intuitionistic logic semantics as the implement of model construction for natura... The process of understanding natural language can be viewed as the process of model construction. This paper? employing Kripke frame for intuitionistic logic semantics as the implement of model construction for natural language, introduces a method of incremental model construction. 展开更多
关键词 Passage understanding of natural language Kripke frame for intuitionistic logic semantics incremental model construction.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部