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

模态逻辑系统S5中的范式定理及其在知识系统中的应用: 1; 作者王国俊《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第1期1-6,共6页; 研究了模态逻辑系统S5中的析(合)取范式定理的归纳证明,给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法.作为范式定理的应用,讨论了知识库中的一个基本问题,证明了知识库能够回答KB命题... 展开更多; 关键词模态逻辑系统S5 范式定理知识库 KB命题; 在线阅读下载PDF 职称材料

模糊模态逻辑中的永真式与准永真式被引量：8: 2; 作者胡明娣王国俊《电子学报》 EI CAS CSCD 北大核心 2009年第11期2484-2488,共5页; 研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合... 展开更多; 关键词模糊模态逻辑基本模态逻辑永真式有效公式准永真式模态逻辑系统M￡*; 在线阅读下载PDF 职称材料

模态逻辑公式的真度理论被引量：2: 3; 作者李璧镜《计算机工程与应用》 CSCD 2013年第3期40-43,共4页; 在模态逻辑系统中,对可能世界进行了深入的分析,首次提出了完整模型的概念,并且在这个完整模型的框架下定义了模态公式的真度概念,建立了公式的真度理论。并且证明了:若模态公式φ不含任何模态词,即经典逻辑公式,它对应的模态真度τ(φ... 展开更多; 关键词模态逻辑系统模态公式 BOREL测度真度; 在线阅读下载PDF 职称材料

谈谈模态逻辑: 4; 作者郑文辉梁庆寅《现代哲学》 1986年第1期51-55,共5页; 模态逻辑(modal logic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值... 展开更多; 关键词模态逻辑系统数理逻辑亚里士多德模态命题模态三段论真值蕴涵严格蕴涵系统模态词可能世界模态系统; 在线阅读下载PDF 职称材料

模态逻辑D演绎过程的化简规则: 5; 作者程晓春孙吉贵刘叙华《吉林大学自然科学学报》 CAS CSCD 1995年第2期39-43,共5页; 以分析模态逻辑中文字公式的极性为基础，将经典逻辑的Ｄａｖｉｓ－ｐｕｔｎａｍ纯文字化简规则推广到了命题模态逻辑Ｄ系统的自动演绎中，并给出了一些刻划Ｄ逻辑自动演绎特征的化简规则，这些化简规则通过对公式、子公式和公式集的有... 展开更多; 关键词模态逻辑D系统化简规则自动演绎 Tableau法; 在线阅读下载PDF 职称材料

对“关于系统Z的一些意见”的意见被引量：4: 6; 作者陈晓平《武汉大学学报（人文科学版）》 1993年第5期56-60,共5页; 【正】张清宇同志对张金成同志的系统Z(见[2])以及我们对系统Z的评价(见[3])从三个方面提出意见。这些意见发表在文[1]中。针对文[1],我们也从相同的三个方面给予答复。一、关于Z12在系统Z中的不独立性文[1]关于Z12在系统Z中的不独立... 展开更多; 关键词模态逻辑系统形式系统可能世界辩证矛盾永真式克里普克有效式塔斯基构造逻辑联结词; 在线阅读下载PDF 职称材料

题名模态逻辑系统S5中的范式定理及其在知识系统中的应用: 1; 作者王国俊; 机构陕西师范大学数学研究所; 出处《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第1期1-6,共6页; 基金国家自然科学基金资助项目(10771129); 文摘研究了模态逻辑系统S5中的析(合)取范式定理的归纳证明,给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法.作为范式定理的应用,讨论了知识库中的一个基本问题,证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题.; 关键词模态逻辑系统S5 范式定理知识库 KB命题; Keywords modal logic system S5 normal form theorem knowledge base KB-formula; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名模糊模态逻辑中的永真式与准永真式被引量：8: 2; 作者胡明娣王国俊; 机构陕西师范大学数学研究所安康学院数学系西安交通大学基础科学研究中心; 出处《电子学报》 EI CAS CSCD 北大核心 2009年第11期2484-2488,共5页; 基金国家自然科学基金(No.10771129) 陕西师范大学研究生培养创新基金(No.2009CXB006); 文摘研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合￡*系统构造出了一类永真式和准永真式.; 关键词模糊模态逻辑基本模态逻辑永真式有效公式准永真式模态逻辑系统M￡*; Keywords fuzzy modal logic basic modal logic tautology valid formula quasi-tautology modal logic system M￡^＊; 分类号 O159 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名模态逻辑公式的真度理论被引量：2: 3; 作者李璧镜; 机构宝鸡文理学院数学系; 出处《计算机工程与应用》 CSCD 2013年第3期40-43,共4页; 基金国家自然科学基金(No.11001158) 宝鸡文理学院重点科研项目(No.ZK1047); 文摘在模态逻辑系统中,对可能世界进行了深入的分析,首次提出了完整模型的概念,并且在这个完整模型的框架下定义了模态公式的真度概念,建立了公式的真度理论。并且证明了:若模态公式φ不含任何模态词,即经典逻辑公式,它对应的模态真度τ(φ)就由区间退化为一个点,并且这个点就是该公式的Borel型真度值。; 关键词模态逻辑系统模态公式 BOREL测度真度; Keywords modal logic system modal formulas Borel measure truth degree; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名谈谈模态逻辑: 4; 作者郑文辉梁庆寅; 机构中山大学哲学系; 出处《现代哲学》 1986年第1期51-55,共5页; 文摘模态逻辑(modal logic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值蕴涵(truth implication)不反映命题之间意义上的必然联系,只是前件与后件真假关系的抽象,要反映命题之间意义上的联系,需提出一种新的蕴涵,在这种情况下,“; 关键词模态逻辑系统数理逻辑亚里士多德模态命题模态三段论真值蕴涵严格蕴涵系统模态词可能世界模态系统; 分类号 B15 [哲学宗教—世界哲学]; 在线阅读下载PDF 职称材料

题名模态逻辑D演绎过程的化简规则: 5; 作者程晓春孙吉贵刘叙华; 机构吉林大学符号计算与知识工程开放实验室; 出处《吉林大学自然科学学报》 CAS CSCD 1995年第2期39-43,共5页; 基金国家自然科学基金 "863"计划和国家攀登计划资助课题; 文摘以分析模态逻辑中文字公式的极性为基础，将经典逻辑的Ｄａｖｉｓ－ｐｕｔｎａｍ纯文字化简规则推广到了命题模态逻辑Ｄ系统的自动演绎中，并给出了一些刻划Ｄ逻辑自动演绎特征的化简规则，这些化简规则通过对公式、子公式和公式集的有效性（或不可满足性）的有条件的判断，进行证明过程的剪枝和化简，以提高Ｄ逻辑自动演绎的效率；这些化简规则都是依据公式（集）本身的结构特征，可用于Ｄ逻辑的任意一种推理实现系统，在机器上是容易实现的。; 关键词模态逻辑D系统化简规则自动演绎 Tableau法; Keywords modal logic D,reducing rules,Tableau method; 分类号 O141 [理学—基础数学] TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名对“关于系统Z的一些意见”的意见被引量：4: 6; 作者陈晓平; 出处《武汉大学学报（人文科学版）》 1993年第5期56-60,共5页; 文摘【正】张清宇同志对张金成同志的系统Z(见[2])以及我们对系统Z的评价(见[3])从三个方面提出意见。这些意见发表在文[1]中。针对文[1],我们也从相同的三个方面给予答复。一、关于Z12在系统Z中的不独立性文[1]关于Z12在系统Z中的不独立性的证明是成立的.对此我们表示欢迎。其实,我们在文[3]中关于系统Z的语义完全性的证明已经暗含着关于Z12的不独立性的证明。因为在此证明中没有用到Z12.而Z12是系统Z的一个永真式.因而对于Z12可按照此证明所给出的机械程序加以推证。; 关键词模态逻辑系统形式系统可能世界辩证矛盾永真式克里普克有效式塔斯基构造逻辑联结词; 分类号 C55 [社会学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	模态逻辑系统S5中的范式定理及其在知识系统中的应用	王国俊	《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料
2	模糊模态逻辑中的永真式与准永真式	胡明娣王国俊	《电子学报》 EI CAS CSCD 北大核心	2009	8	在线阅读下载PDF 职称材料
3	模态逻辑公式的真度理论	李璧镜	《计算机工程与应用》 CSCD	2013	2	在线阅读下载PDF 职称材料
4	谈谈模态逻辑	郑文辉梁庆寅	《现代哲学》	1986	0	在线阅读下载PDF 职称材料
5	模态逻辑D演绎过程的化简规则	程晓春孙吉贵刘叙华	《吉林大学自然科学学报》 CAS CSCD	1995	0	在线阅读下载PDF 职称材料
6	对“关于系统Z的一些意见”的意见	陈晓平	《武汉大学学报（人文科学版）》	1993	4	在线阅读下载PDF 职称材料