基于零级泛与运算的泛逻辑中的广义重言式理论

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (3): 16-16.

基于零级泛与运算的泛逻辑中的广义重言式理论

马盈仓何华灿薛占熬

西安工程大学西北工业大学河南师范大学

收稿日期:2006-10-13 修回日期:1900-01-01 出版日期:2007-01-21 发布日期:2007-01-21
通讯作者: 马盈仓

Generalized Tautologies Theory of Universal Logic Based on the 0-level Universal AND Operators

Ying-Cang Ma Hua-Can He Zhan-Ao Xue

Received:2006-10-13 Revised:1900-01-01 Online:2007-01-21 Published:2007-01-21
Contact: Ying-Cang Ma

摘要/Abstract

摘要： 本文对泛逻辑的广义重言式理论进行研究。给出了基于零级泛与运算的广义重言式的一系列性质。主要结果有：当c 取[0.75, 1]时，关于I 而言，F(S)中只有3种不同的广义重言式，即，可达0-重言式、0+-重言式和重言式；当h=0时，关于I 而言，F(S)中存在0、1可达重言式，当 c取 (0,1)，不存在 c-重言式、 c+-重言式和可达 c-重言式；通过h=0.5时的广义重言式对 h 取(0, 0.75) 时的广义重言式进行了刻画。

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 are discussed. The main results are: when c in [0.75, 1], if the semantic is explained by I , 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 I, there are accessible 0,1-tautology, when c in (0,1), there are not c- tautology、 c+-tautology and c-tautology; The generalized tautologies when h in (0, 0.75) are described by the generalized tautologies when h=0.5.

马盈仓何华灿薛占熬. 基于零级泛与运算的泛逻辑中的广义重言式理论[J]. 计算机工程与应用, 2007, 43(3): 16-16.

Ying-Cang Ma Hua-Can He Zhan-Ao Xue. Generalized Tautologies Theory of Universal Logic Based on the 0-level Universal AND Operators[J]. Computer Engineering and Applications, 2007, 43(3): 16-16.