韩诚,王国俊.命题公式集F(S)的基于R0-算子的16类分划[J].数学研究及应用,2005,25(3):553~558
命题公式集F(S)的基于R0-算子的16类分划
A Sixteen-Classification Partition of Propositional Formula Set F(S) Based on R0-Operator
投稿时间:2003-01-06  
DOI:10.3770/j.issn:1000-341X.2005.03.027
中文关键词:  分划  R0-算子  确定集  K-公式集  封闭类
英文关键词:partition  R0-operator  validation set  K-formula class  closed class.
基金项目:国家自然科学基金(90207015).
作者单位
韩诚 陕西师范大学数学研究所,陕西,西安,710062
盐城师范学院数学系,江苏,盐城,224001 
王国俊 陕西师范大学数学研究所,陕西,西安,710062 
摘要点击次数: 3312
全文下载次数: 1268
中文摘要:
      利用R0-蕴涵算子对命题公式集F(S)进行分类,得出了F(S)的一个16类分划,并证明了这种分类关于非运算是同余分类.最后讨论了各类关于MP运算与HS运算的封闭性.
英文摘要:
      The propositional formula set F(S) is classified into sixteen classifications by using R0 implication operator, and it is proved that this partition about negation is congruent. Moreover, we discuss whether each classification in F(S) is closed under modus ponens and hypothetical syllogism.
查看全文  查看/发表评论  下载PDF阅读器