共查询到10条相似文献,搜索用时 62 毫秒
1.
研究赋值格为非线性序的一种非经典逻辑低矺#.在该系统中,格结构不同于Boole代数,蕴涵算子→取Kleene-Dienes算子RKD.得到若干结果,特别是K#-准重言式恰是经典命题逻辑C2中的重言式,从而也等于C2中的定理,即QT(K#)=T(C2)=Φ├
. 相似文献
2.
于鸿丽 《西安文理学院学报》2008,11(3):36-39
系统Hα是一个带有参数的系统,将参数α赋予不同的值,将会得到不同的多值逻辑系统.借助子代数理论,研究了多值逻辑系统Hα中的重言式分类定理,为系统Hα的进一步研究奠定了基础. 相似文献
3.
4.
于鸿丽 《西安文理学院学报》2007,10(1)
研究了文献[1]中提出的系统Hα的广义重言式理论,利用可达广义重言式的概念给出了F(S)的一个分划,证明了在系统Hα中,只有以下几种不同的广义重言式,即[0]-T(H12),[α2]-T(H12),[(α2) ]-T(H12),[α]-T(H12),[α ]-T(H12),T(H12)(α∈(0,1)) 相似文献
5.
研究了活性炭固载磷钨酸催化α-蒎烯的异构化反应的动力学特征,研究表明,以环己烷作溶剂,α-蒎烯在活性炭固载磷钨酸上的异构化服从准一级动力学模型,其反应的表观活化能为100.7kJ/mol。 相似文献
6.
7.
刘元园 《零陵师范高等专科学校学报》2001,22(3):53-55
研究了活性炭固载磷钨酸催化α-蒎烯的异构化反应的动力学特征,研究表明,以环己烷作溶剂,α-蒎烯在活性炭固载磷钨酸上的异构化服从准一级动力学模型,其反应的表观活化能力100.7kJ/mol。 相似文献
8.
于鸿丽 《西安文理学院学报》2010,13(2):16-19
将修正的Kleene逻辑系统中语义HS规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义[α]-HS、[α+]-HS等规则,使得对Hα系统中的广义语义HS规则有了更进一步的认识. 相似文献
9.