| 基于零级泛与运算的泛逻辑中广义重言式理论 |
| |
| 引用本文： | 马盈仓,何华灿,薛占熬.基于零级泛与运算的泛逻辑中广义重言式理论[J].计算机工程与应用,2007,43(3):16-18,21. |
| |
| 作者姓名： | 马盈仓 何华灿 薛占熬 |
| |
| 作者单位： | 西安工程大学,理学院,西安,710048;西北工业大学,计算机学院,西安,710072;河南师范大学,计算机与信息技术学院,河南,新乡,453007 |
| |
| 基金项目： | 陕西省教育厅资助项目
,
西安工程大学科研基金
,
河南省自然科学基金 |
| |
| 摘 要： | 对泛逻辑的广义重言式理论进行了研究,给出了基于零级泛与运算的广义重言式的一系列性质。主要结果有:当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)时的广义重言式进行了刻画。
|
| 关 键 词： | 泛逻辑 广义重言式 零级泛与运算 |
| 文章编号： | 1002-8331（2007）03-0016-03 |
| 修稿时间： | 2006-11 |
Generalized tautologies theory of universal logic based on 0-level universal AND operators |
| |
| MA Ying-cang,HE Hua-can,XUE Zhan-ao.Generalized tautologies theory of universal logic based on 0-level universal AND operators[J].Computer Engineering and Applications,2007,43(3):16-18,21. |
| |
| Authors: | MA Ying-cang HE Hua-can XUE Zhan-ao |
| |
| Abstract: | Generalized tautologies theories of universal logic are studied in this paper.A series of properties of generalized tautologies of universal logic based on the 0-level universal AND operators is discussed.The main results are:when c∈0.75,1],if the semantic is explained by Ih=c,there are only three different generalized tautologies in F(S),that is,accessible 0-tautology,0+- tautology and tautology;when h=0,if the semantic is explained by Ih=0,there are accessible 0,1-tautology,when α∈(0,1),there are not α- tautology、α+-tautology and α-tautology;the generalized tautologies when h∈(0,0.75) are described by the generalized tautologies when h=0.5. |
| |
| Keywords: | universal logic generalized tautologies 0-level universal AND operators |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
