| | | | | 若干重要逻辑蕴涵算子的性质与比较 | | | 辛晓东,徐维军 | | | 对十个重要逻辑蕴涵算子的性质进行了较全面的比较研究,得到若干基本结果,它们在各逻辑系统的比较研究中有一定参考价值。
【作者单位】：固原师专教学系;宁夏大学数学系 宁夏 固原 756000;宁夏 银川 750021
【关键词】：多值逻辑;蕴涵算子;赋值格;R_0—代数
【基金】：固原师专科研基金
【分类号】：O141.1
【DOI】：cnki:ISSN:1001-0491.0.2001-03-001
【正文快照】：
本文以S={Pl,p2,…,“}表示原子公式之集,,(s)为由S生成的(、,V,一)型自由代数,称,(s)中的元素为公式.设L为格(一般考虑其为有界分配格),在L上定义适当的(,,V。一)运算后,则￡可成为型(,,V,一)代数.设”0:F(s)一L,是任一映射,则t,o可扩张为同态t,:F(s)一￡,称之为F(s)到￡的一个赋值,此时￡也常称为赋值格.以n记全体赋值之集。则对任意的A、B∈F(s)及”∈0有: t,(一1 A)=1 tJ(A) 雷(A V占)=秽(A)V口(曰) ∥(A一曰)=t,(A)一t,(占)对于不同的逻辑系统而言,只要型一致的话,F(S)是相同的.对于赋值”:F(s)一￡而言,既然F(s)相对固定,… | | |  推荐 CAJ下载  PDF下载 | | | CAJViewer7.0阅读器支持所有CNKI文件格式，AdobeReader仅支持PDF格式 | | | | On severa important implication oprators: their properties and comparison | | | XIN Xiao-dong XU Wei-jun
(Dept. of math;Guyuan teachers' college;Cuyuan 756000;China; Depafmenl of matkmatios & computing Engineering;Ningxia University;Yinchuan 750021;china) | | | In many - valued logic systems, the properties of ten important implication operators are investigated, and they relationship are compared each other. Some results which are using in the contrast of multi - valued logic systems are obtained in the page.
【Keyword】：Many - valued logic system, Implication operator. Evaluation lattice. Ro-algebra. |
| | | | | | 1 | 张广济,于明业,周丽馥; BCI-代数中的(s,t]-模糊理想和R-模糊理想 [J];大连大学学报; 2004年06期 | | 2 | 闵祥参; 基于模糊逻辑的击键特征用户认证系统 [J];电脑开发与应用; 2006年03期 | | 3 | 韩莹,陈森发; 有限扰动模糊命题逻辑系统的Σ-广义矛盾式 [J];东南大学学报(自然科学版); 2005年05期 | | 4 | 陈图云,孟艳平; 扰动模糊集相似度限定推理方法 [J];辽宁工程技术大学学报; 2004年04期 | | 5 | 王会勇,赵海良,杨晓伟; 基于拓扑变换的一种不确定性推理方法 [J];重庆交通学院学报; 2004年01期 | | 6 | 陈图云,韩莹,廖士中; 扰动模糊逻辑I~2的最大子代数及其广义重言式 [J];工程数学学报; 2003年02期 | | 7 | 刘用麟,张小红; 伪NM代数及其性质 [J];工程数学学报; 2006年04期 | | 8 | 陈图云,孟艳平; 模糊集相似度限定推理方法 [J];工程数学学报; 2005年02期 | | 9 | 裴道武,姜慧; 一个新的模糊谓词演算形式系统 [J];东北师大学报(自然科学版); 2003年01期 | | 10 | 邓安生,孙铁利; 形式布尔算子的命题逻辑 [J];东北师大学报(自然科学版); 2000年03期 |
|
| | | | | | 1 | 裴道武; R_0代数中的MP滤子与同余关系 [A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集 [C]; 2000年 |
|
|
|
