-
题名基于零级泛与运算的泛逻辑中广义重言式理论
- 1
-
-
作者
马盈仓
何华灿
薛占熬
-
机构
西安工程大学理学院
西北工业大学计算机学院
河南师范大学计算机与信息技术学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2007年第3期16-18,21,共4页
-
基金
陕西省教育厅专项科研计划项目(06JK286)
西安工程大学科研基金
河南省自然科学基金资助项目(0611053900)。
-
文摘
对泛逻辑的广义重言式理论进行了研究,给出了基于零级泛与运算的广义重言式的一系列性质。主要结果有:当c∈[0.75,1]时,关于Ih=c而言,F(S)中只有3种不同的广义重言式,即可达0-重言式、0+-重言式和重言式;当h=0时,关于Ih=0而言,F(S)中存在0、1可达重言式,当α∈(0,1),不存在α-重言式、α+-重言式和可达α-重言式;用h=0.5时的广义重言式对h∈(0,0.75)时的广义重言式进行了刻画。
-
关键词
泛逻辑
广义重言式
零级泛与运算
-
Keywords
universal logic ：generalized tautologies
0-level universal and operators
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
O141.1
[理学—基础数学]
-
