Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (3): 16-16.
• 博士论坛 • Previous Articles Next Articles
Ying-Cang Ma Hua-Can He Zhan-Ao Xue
Received:
Revised:
Online:
Published:
Contact:
马盈仓 何华灿 薛占熬
通讯作者:
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.
摘要: 本文对泛逻辑的广义重言式理论进行研究。给出了基于零级泛与运算的广义重言式的一系列性质。主要结果有:当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) 时的广义重言式进行了刻画。
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.
马盈仓 何华灿 薛占熬. 基于零级泛与运算的泛逻辑中的广义重言式理论[J]. 计算机工程与应用, 2007, 43(3): 16-16.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://cea.ceaj.org/EN/
http://cea.ceaj.org/EN/Y2007/V43/I3/16