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

基于零级泛与运算的谓词形式系统及其可靠性被引量：2: 1; 作者马盈仓何华灿《计算机应用研究》 CSCD 北大核心 2011年第1期84-86,101,共4页; 对基于零级泛与运算的一阶谓词演算形式系统进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统ULh∈(0,1],证明了其可靠性定理和演绎定理。从而得到所给形式系统中的定理均为重言式,保... 展开更多; 关键词泛逻辑谓词演算形式系统泛与运算; 在线阅读下载PDF 职称材料

基于零级泛与运算的谓词形式系统及其完备性被引量：1: 2; 作者马盈仓何华灿《小型微型计算机系统》 CSCD 北大核心 2011年第10期2105-2108,共4页; 泛逻辑是在研究柔性世界逻辑规律时发现的一个新的连续值的逻辑体系,它通过引入广义相关性和广义自相关性刻画命题之间的相互关系.本文主要解决基于零级泛与运算的一阶谓词演算形式系统ULh∈(0,1]的完备性.通过引入全称量词和存在量词... 展开更多; 关键词泛逻辑谓词演算形式系统泛与运算; 在线阅读下载PDF 职称材料

谓词形式系统UL_(hε[0.75,1])^-及其完备性: 3; 作者马盈仓何华灿《计算机工程与应用》 CSCD 北大核心 2010年第34期17-20,共4页; 主要解决基于一级泛与运算的一阶谓词演算形式系统"ULh-?[0.751]的完备性。通过引入全称量词和存在量词,建立与命题形式系统ULh-?[0.751]相对应的一阶谓词形式系统"ULh-?[0.751],证明其完备性定理。从而说明形式系统"ULh... 展开更多; 关键词泛逻辑谓词演算形式系统泛与运算; 在线阅读下载PDF 职称材料

谓词形式系统UL_h^-∈[0.75,1]及其可靠性: 4; 作者马盈仓何华灿《计算机科学》 CSCD 北大核心 2011年第5期178-180,223,共4页; 对基于一级泛与运算的一阶谓词演算形式系统ULh-∈[0.75,1]进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh-∈[0.75,1]相对应的一阶谓词形式系统ULh-∈[0.75,1],并证明该系统的可靠性定理及演绎定理。; 关键词泛逻辑谓词演算形式系统泛与运算; 在线阅读下载PDF 职称材料

题名基于零级泛与运算的谓词形式系统及其可靠性被引量：2: 1; 作者马盈仓何华灿; 机构西北工业大学电子信息学院西安工程大学理学院西北工业大学计算机学院; 出处《计算机应用研究》 CSCD 北大核心 2011年第1期84-86,101,共4页; 基金国家自然科学基金资助项目(60273087 60575034) +1 种基金西北工业大学基础研究基金资助项目(W018101); 文摘对基于零级泛与运算的一阶谓词演算形式系统进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统ULh∈(0,1],证明了其可靠性定理和演绎定理。从而得到所给形式系统中的定理均为重言式,保证了推理的有效性。; 关键词泛逻辑谓词演算形式系统泛与运算; Keywords universal logic predicate calculus formal system universal AND operator; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于零级泛与运算的谓词形式系统及其完备性被引量：1: 2; 作者马盈仓何华灿; 机构西北工业大学电子信息学院西安工程大学理学院西北工业大学计算机学院; 出处《小型微型计算机系统》 CSCD 北大核心 2011年第10期2105-2108,共4页; 基金国家自然科学基金项目(60273087,60575034)资助陕西省教育厅专项科研计划项目(2010JK567)资助西北工业大学基础研究基金项目(W018101)资助; 文摘泛逻辑是在研究柔性世界逻辑规律时发现的一个新的连续值的逻辑体系,它通过引入广义相关性和广义自相关性刻画命题之间的相互关系.本文主要解决基于零级泛与运算的一阶谓词演算形式系统ULh∈(0,1]的完备性.通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统ULh∈(0,1],并证明其完备性定理.从而得到系统ULh∈(0,1]的语义和语构是和谐的.; 关键词泛逻辑谓词演算形式系统泛与运算; Keywords universal logic predicate calculus formal system universal and operator; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名谓词形式系统UL_(hε[0.75,1])^-及其完备性: 3; 作者马盈仓何华灿; 机构西北工业大学电子信息学院西安工程大学理学院西北工业大学计算机学院; 出处《计算机工程与应用》 CSCD 北大核心 2010年第34期17-20,共4页; 基金国家自然科学基金(No.60273087 No.60575034) +1 种基金西北工业大学基础研究基金(No.W018101)~~; 文摘主要解决基于一级泛与运算的一阶谓词演算形式系统"ULh-?[0.751]的完备性。通过引入全称量词和存在量词,建立与命题形式系统ULh-?[0.751]相对应的一阶谓词形式系统"ULh-?[0.751],证明其完备性定理。从而说明形式系统"ULh-?[0.751]的语义和语构是和谐的。; 关键词泛逻辑谓词演算形式系统泛与运算; Keywords universal logic predicate calculus formal system universal AND operator; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程] B815 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名谓词形式系统UL_h^-∈[0.75,1]及其可靠性: 4; 作者马盈仓何华灿; 机构西北工业大学电子信息学院西安工程大学理学院西北工业大学计算机学院; 出处《计算机科学》 CSCD 北大核心 2011年第5期178-180,223,共4页; 基金国家自然科学基金(60273087 60575034) +1 种基金西北工业大学基础研究基金(W018101)资助; 文摘对基于一级泛与运算的一阶谓词演算形式系统ULh-∈[0.75,1]进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh-∈[0.75,1]相对应的一阶谓词形式系统ULh-∈[0.75,1],并证明该系统的可靠性定理及演绎定理。; 关键词泛逻辑谓词演算形式系统泛与运算; Keywords Universal logic Predicate calculus formal system Universal and operator; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程] B815 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料