Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (3): 16-16.

• 博士论坛 • Previous Articles     Next Articles

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

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

马盈仓 何华灿 薛占熬   

  1. 西安工程大学 西北工业大学 河南师范大学
  • 通讯作者: 马盈仓

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) 时的广义重言式进行了刻画。