检索结果-维普期刊中文期刊服务平台

三值逻辑的思想和方法被引量：5: 1; 作者姚从军《北京理工大学学报（社会科学版）》 CSSCI 2010年第1期127-131,共5页; 传统逻辑是二值的,对诸如未来偶然命题使用这种逻辑是无法解决的,这就需要发展起来一种不同于二值逻辑的逻辑,这就是多值逻辑,三值逻辑是其最基本形式。三值逻辑理论沿着不同路线今已得到迅速发展,其应用范围也日益广泛。所有的三值逻... 展开更多; 关键词三值逻辑二值逻辑逻辑系统思维规律; 在线阅读下载PDF 职称材料

邓中夏的编辑实践与编辑思想被引量：3: 2; 作者杨军《编辑之友》 CSSCI 北大核心 2010年第1期103-105,共3页; 邓中夏是中国共产党早期卓越的领导人之一。他在革命生涯里创办并编辑过多种报刊,有着丰富的编辑实践和编辑思想,为马克思主义中国化作出了重要的历史贡献。; 关键词编辑实践编辑思想工人之路中国共产党早期封建军阀革命生涯《民国日报》民族殖民地问题国民党左派国共合作; 在线阅读下载PDF 职称材料

组合范畴语法CCG︱与汉语谓词缺失现象的处理被引量：7: 3; 作者姚从军《安徽大学学报（哲学社会科学版）》 CSSCI 北大核心 2014年第4期29-35,共7页; 处理照应和省略现象一直是范畴语法所关注的重点和难点。在原生态组合范畴语法CCG中增加关于照应的一些规则和省略槽规则,得到的组合范畴语法CCG︱,能有效地处理汉语的谓词缺失及其照应现象。汉语存在三类谓词缺失结构,针对它们的处理... 展开更多; 关键词组合范畴语法谓词缺失照应; 在线阅读下载PDF 职称材料

组合范畴语法与范畴类型逻辑的分析与比较被引量：5: 4; 作者姚从军《云南师范大学学报（哲学社会科学版）》 CSSCI 北大核心 2015年第1期75-81,共7页; 范畴语法的最早形式是AB-演算,目前已发展成为一系列相互联系的形式系统,它们把句法分析和语义分析视为基于类型的推理。范畴语法的两个最完善的分支是基于逻辑传统的范畴类型逻辑和基于组合传统的组合范畴语法,二者联系紧密,差异也明显... 展开更多; 关键词范畴语法范畴类型逻辑组合范畴语法计算生成能力; 在线阅读下载PDF 职称材料

非良基公理的本质及其应用被引量：2: 5; 作者姚从军《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2012年第5期17-20,共4页; 精确图就是具有单射装饰的可达点图。非良基公理可以归结到对精确图外延的确定上。不同的非良基公理对应了不同种类的精确图,进而形成不同的非良基集合论。尽管近些年来AFA吸引了众多人的注意力,但是巴威斯(Barwise)和莫斯(Moss)在证明A... 展开更多; 关键词非良基公理精确图 FAFA AFA SAFA; 在线阅读下载PDF 职称材料

混合范畴类型逻辑系统的构造及应用: 6; 作者姚从军《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2013年第5期50-56,共7页; 根据是否包含结合性和交换性结构规则可产生四个兰贝克演算系统。使用任何一个系统分析语言都只具有有限的价值,因此需要具有不同描述模式的多模态范畴系统。一个方法是利用结构模态词受控地引入结构规则,但是结构模态词的广泛使用导致... 展开更多; 关键词兰贝克演算多模态范畴逻辑话题句非成分并列组合提取; 在线阅读下载PDF 职称材料

模型等价性的一个充分必要条件: 7; 作者姚从军《学术论坛》 CSSCI 北大核心 2009年第10期27-30,共4页; 什么叫模型的等价性?从计算机科学来看,刻画相同行为过程的两个标号转换系统称为等价模型,这种等价性称为行为等价性;从模态逻辑来看,具有相同模态理论的两个克里普克模型是等价的模型,这种等价性又称为模态等价性;从集合论的角度来看,... 展开更多; 关键词模型等价行为等价模态等价装饰等价; 在线阅读下载PDF 职称材料

题名三值逻辑的思想和方法被引量：5: 1; 作者姚从军; 机构湖南科技学院思政部南开大学哲学系; 出处《北京理工大学学报（社会科学版）》 CSSCI 2010年第1期127-131,共5页; 文摘传统逻辑是二值的,对诸如未来偶然命题使用这种逻辑是无法解决的,这就需要发展起来一种不同于二值逻辑的逻辑,这就是多值逻辑,三值逻辑是其最基本形式。三值逻辑理论沿着不同路线今已得到迅速发展,其应用范围也日益广泛。所有的三值逻辑系统都对二值逻辑的限制有所突破,都在某种意义上显示出"亦此亦彼"的性质,它们之间以及它们与经典二值逻辑之间具有内在的区别和联系,显示了各自独特的思想和构造方法。; 关键词三值逻辑二值逻辑逻辑系统思维规律; Keywords three-valued logic two-valued logic logic system thinking law; 分类号 B81 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名邓中夏的编辑实践与编辑思想被引量：3: 2; 作者杨军; 机构湖南科技学院思政教研部; 出处《编辑之友》 CSSCI 北大核心 2010年第1期103-105,共3页; 基金湖南省哲学社会科学基金项目"邓中夏思想研究"(课题号:07YBB209)阶段性成果; 文摘邓中夏是中国共产党早期卓越的领导人之一。他在革命生涯里创办并编辑过多种报刊,有着丰富的编辑实践和编辑思想,为马克思主义中国化作出了重要的历史贡献。; 关键词编辑实践编辑思想工人之路中国共产党早期封建军阀革命生涯《民国日报》民族殖民地问题国民党左派国共合作; 分类号 G232 [文化科学]; 在线阅读下载PDF 职称材料

题名组合范畴语法CCG︱与汉语谓词缺失现象的处理被引量：7: 3; 作者姚从军; 机构湖南科技学院思政部; 出处《安徽大学学报（哲学社会科学版）》 CSSCI 北大核心 2014年第4期29-35,共7页; 基金 2010年国家社科基金重大项目(10&ZD073) 湖南省"十二五""思想政治教育"重点建设学科资助项目(湘教发[2011]76) 湖南科技学院"十二五""汉语言文字学"重点建设学科资助(湘科院校字[2011]87号); 文摘处理照应和省略现象一直是范畴语法所关注的重点和难点。在原生态组合范畴语法CCG中增加关于照应的一些规则和省略槽规则,得到的组合范畴语法CCG︱,能有效地处理汉语的谓词缺失及其照应现象。汉语存在三类谓词缺失结构,针对它们的处理方法稍有不同:助动词结构不需使用省略槽规则;根据具体解读,"是"字结构有时需使用省略槽规则,有时不必使用省略槽规则;动词结构需使用省略槽规则。; 关键词组合范畴语法谓词缺失照应; 分类号 B812 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名组合范畴语法与范畴类型逻辑的分析与比较被引量：5: 4; 作者姚从军; 机构湖南科技学院思政部中国社会科学院哲学所; 出处《云南师范大学学报（哲学社会科学版）》 CSSCI 北大核心 2015年第1期75-81,共7页; 基金国家社科基金重大招标项目(10&ZD073) 湖南省重点建设学科"思想政治教育"项目(湘教发[2011]76号) 湖南科技学院重点建设学科"汉语言文字学"(湘科院校字[2011]89号); 文摘范畴语法的最早形式是AB-演算,目前已发展成为一系列相互联系的形式系统,它们把句法分析和语义分析视为基于类型的推理。范畴语法的两个最完善的分支是基于逻辑传统的范畴类型逻辑和基于组合传统的组合范畴语法,二者联系紧密,差异也明显,前者主要关心不同逻辑算子对语言的适用性和逻辑系统的证明论性质,认为生成能力不具有主要的理论意义,在计算应用中没有价值;后者更多集中在获得低的自动机理论能力和良好计算性质的语言表达系统。; 关键词范畴语法范畴类型逻辑组合范畴语法计算生成能力; Keywords Categorial Grammar Categorial Type Logics Combinatory Categorial Grammar com-putation generative capacity; 分类号 B81-092 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名非良基公理的本质及其应用被引量：2: 5; 作者姚从军; 机构湖南科技学院思政部; 出处《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2012年第5期17-20,共4页; 基金国家社会科学基金资助项目:12BZX060; 文摘精确图就是具有单射装饰的可达点图。非良基公理可以归结到对精确图外延的确定上。不同的非良基公理对应了不同种类的精确图,进而形成不同的非良基集合论。尽管近些年来AFA吸引了众多人的注意力,但是巴威斯(Barwise)和莫斯(Moss)在证明AFA(每个图有唯一装饰)的合理性和方程解的唯一性中有乞题之嫌;使用AFA处理自指悖论也过于勉强。相比较而言,FAFA是最自然的非良基集合论系统。; 关键词非良基公理精确图 FAFA AFA SAFA; 分类号 B81 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名混合范畴类型逻辑系统的构造及应用: 6; 作者姚从军; 机构湖南科技学院思政部; 出处《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2013年第5期50-56,共7页; 基金国家社会科学基金重大招标项目:10&ZD073 湖南省社会科学基金资助项目:12YBA150 中国博士后科学基金资助项目:2012M52038; 文摘根据是否包含结合性和交换性结构规则可产生四个兰贝克演算系统。使用任何一个系统分析语言都只具有有限的价值,因此需要具有不同描述模式的多模态范畴系统。一个方法是利用结构模态词受控地引入结构规则,但是结构模态词的广泛使用导致了分析的复杂化,促使人们选择尽可能强的系统作为基层逻辑,这样却遗失了可能有用的语料敏感性。另一个选择是合并多个子结构逻辑,限制结构规则,增加连接各子结构层面的包含规则,产生了混合范畴类型逻辑。它使用较弱的逻辑构造词汇类型,保留了语料敏感性,同时混合系统中的较强逻辑保持了对语言对象信息的描述灵活性,这些优点很好地解释了提取、汉语话题句和非成分并列组合等现象。; 关键词兰贝克演算多模态范畴逻辑话题句非成分并列组合提取; 分类号 B81 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名模型等价性的一个充分必要条件: 7; 作者姚从军; 机构湖南科技学院思政部南开大学哲学系; 出处《学术论坛》 CSSCI 北大核心 2009年第10期27-30,共4页; 文摘什么叫模型的等价性?从计算机科学来看,刻画相同行为过程的两个标号转换系统称为等价模型,这种等价性称为行为等价性;从模态逻辑来看,具有相同模态理论的两个克里普克模型是等价的模型,这种等价性又称为模态等价性;从集合论的角度来看,刻画同一个集合的两个可及点图是等价的模型,笔者将这种等价性定义为装饰等价性。进一步,什么样的模型才具有等价性?即两个模型等价的充分必要条件是什么呢?三大领域中模型等价有一个共同的充分必要条件,即互模拟性,这就从另一个角度说明互模拟诞生的一个共同的直接动因:探索模型等价性充分必要条件。; 关键词模型等价行为等价模态等价装饰等价; 分类号 N02 [自然科学总论—科学技术哲学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	三值逻辑的思想和方法	姚从军	《北京理工大学学报（社会科学版）》 CSSCI	2010	5	在线阅读下载PDF 职称材料
2	邓中夏的编辑实践与编辑思想	杨军	《编辑之友》 CSSCI 北大核心	2010	3	在线阅读下载PDF 职称材料
3	组合范畴语法CCG︱与汉语谓词缺失现象的处理	姚从军	《安徽大学学报（哲学社会科学版）》 CSSCI 北大核心	2014	7	在线阅读下载PDF 职称材料
4	组合范畴语法与范畴类型逻辑的分析与比较	姚从军	《云南师范大学学报（哲学社会科学版）》 CSSCI 北大核心	2015	5	在线阅读下载PDF 职称材料
5	非良基公理的本质及其应用	姚从军	《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心	2012	2	在线阅读下载PDF 职称材料
6	混合范畴类型逻辑系统的构造及应用	姚从军	《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心	2013	0	在线阅读下载PDF 职称材料
7	模型等价性的一个充分必要条件	姚从军	《学术论坛》 CSSCI 北大核心	2009	0	在线阅读下载PDF 职称材料