| 命题公式集F(S)的基于修正的Godel算子的十八类分划 |
| |
| 引用本文： | 李顺琴,王国俊.命题公式集F(S)的基于修正的Godel算子的十八类分划[J].四川大学学报(自然科学版),2009,46(6):1615-1619. |
| |
| 作者姓名： | 李顺琴 王国俊 |
| |
| 作者单位： | 1. 延安大学数学与计算机科学学院,延安,716000
2. 陕西师范大学数学研究所,西安,710062 |
| |
| 基金项目： | 国家自然科学基金重点项目 |
| |
| 摘 要： | 本文利用修正的G(o)del蕴涵算子研究了命题公式集FS中公式确定集的特征,进而以确定集为工具得到FS的一个十八类分划,并证明了这种分划关于非运算是同余的.最后讨论了各类关于MP运算和HS运算的封闭性.
|
| 关 键 词： | 修正的G(o)del算子 确定集 K-公式集 分划 |
| 收稿时间： | 2/9/2007 12:00:00 AM |
An eighteen-classification partition of propositional formula set FS based on revised G(o)del operator |
| |
| LI Shun-Qin and WANG Guo-Jun.An eighteen-classification partition of propositional formula set FS based on revised G(o)del operator[J].Journal of Sichuan University (Natural Science Edition),2009,46(6):1615-1619. |
| |
| Authors: | LI Shun-Qin and WANG Guo-Jun |
| |
| Abstract: | In this paper the characterization of formula's validation set are discussed by using revised G(o)delimplication operator in the propositional formula set FS. Using this concept eighteen classifications of FS is given and it is proved that this partition about negation is congruent. Moreover, it is discussed whether each classification in FS is closed under modus ponens and hypothetical syllogism. |
| |
| Keywords: | revised G(o)del operator validation set K-formula class partition |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《四川大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《四川大学学报(自然科学版)》下载全文 |
