摘要
研究了五个重要的多值逻辑系统Ln,Kn,Sn,Gn 和Wn,讨论了这些系统子代数的特征及计数问题 ,以及这些系统的广义重言式理论 .给出了这些系统子代数的特征性质与计数公式 ,证明了Ln,Sn,Gn 中可达α 重言式类类不空 ,并探明了它们与经典逻辑系统重言式的关系 .
In five important many valued logic systems L n, K n, S n G n and W n , the characteristic and enumeration problems of subalgebras, and generalized tautology theory are discussed. It is proved that the sets of all exact α tautologies in L n, S n , and G n are all non empty , and the relationship between the sets of all quasi tautologies in these systems and the set of all tautologies in the classical prepositional logic system are considered.
出处
《陕西师大学报（自然科学版）》
CSCD
北大核心
2000年第2期18-22,共5页
Journal of Shaanxi Normal University(Natural Science Edition)
