摘要
研究了文献[1]中提出的系统Hα的广义重言式理论,利用可达广义重言式的概念给出了F(S)的一个分划,证明了在系统Hα中,只有以下几种不同的广义重言式,即[0]-T(H12),[α2]-T(H12),[(α2)+]-T(H12),[α]-T(H12),[α+]-T(H12),T(H12)(α∈(0,1))
The classification theorem of generalized tautologies in the system Hα has been studied,Partitions of F(S) have been given by using the conception of accessible α+-tautolgy,that is [0]-T(H12),-T(H12),[(α2)+]-T(H12),[α]-T(H12),-T(H12),T(H12),(α∈(0,1))
出处
《西安文理学院学报（自然科学版）》
2007年第1期73-76,共4页
Journal of Xi’an University(Natural Science Edition)
基金
西安文理学院科研资助项目(KY2005035)
关键词
模糊命题演算
系统Hα
可达α+-重言式
分划
fuzzy propositional calculus
sgstems Hα
accessible α+-tautology
partitions
