共查询到13条相似文献，搜索用时 62 毫秒
1.
讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和[α-]矛盾式概念在[RDP]的序稠密子代数中给出[F(S)]关于[～]同余的一个分划。 相似文献
2.
魏海新 《计算机工程与应用》2010,46(29):56-57,62
将Godel辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F（S）关于┑同余的一个分划。 相似文献
3.
李修清 《计算机工程与应用》2011,47(5):43-45
将Gödel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统G中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的三类子代数中给出F（S）关于¬同余的一个分划。 相似文献
4.
李修清 《计算机工程与应用》2011,(5):43-45,100
将Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统-G中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在-G的三类子代数中给出F(S)关于同余的一个分划。 相似文献
5.
将Gainse-Rescher逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数中的广义重言式理论,并利用可达广义重言式概念在Gainse-Rescher逻辑系统的序稠密子代数中给出公式集[F(S)]的一个分划。 相似文献
6.
魏海新 《计算机工程与应用》2010,46(29):56-57
将Gödel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于G同余的一个分划。 相似文献
7.
讨论了修正的RDP逻辑系统中的广义矛盾式,并对该系统中的广义矛盾式进行了分划;给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。 相似文献
8.
LI Shun-qin WANG Guo-jun.College of Mathematics Computer Science Yan’an University Yan’an Shaanxi China .Institute of Mathematics Shaanxi Normal University Xi’an China 《计算机工程与应用》2008,(36)
将修正的Gdel逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G的序稠密子代数中给出F(S)关于┐同余的一个分划. 相似文献
9.
将多值逻辑系统H(α0≤α≤1)中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,利用可达广义重言式概念在系统H1的序稠密子代数中给出F(S)的一个分划,并把系统H1中的相关结论推广到系统H(α0≤α≤1)中。 相似文献
10.
将修正的Gödel逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G的序稠密子代数中给出F（S）关于┐同余的一个分划. 相似文献
11.
魏海新 《计算机工程与应用》2009,45(22):32-33
将修正的Kleene系统中的广义重言式理论进行推广,讨论了其序稠密子代数的广义重言式理论,并利用可达广义重言式的概念在W的序稠密子代数中给出F（S）关于┐同余的一个分划。 相似文献
12.
将修正的G(o)6del逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G-的序稠密子代数中给出F(S)关于┓同余的一个分划. 相似文献
13.
对Godel逻辑系统中的广义重言式理论进行推广,讨论了RG-代数的各类无限子代数上的广义重言式,证明了在子RG-代数中,Godel逻辑系统中存在着可数多个不同的广义重言式。 相似文献