Rough逻辑系统RSL与模糊逻辑系统Luk.pdf

第40卷第2期 电子科技大学学报 VbI．40No．2 2011年3月 Jo啪aI Sci∞ce锄d M札20ll ofUniVers时ofElec仃onicTectulolo∥ofChina Rough逻辑系统RSL与模糊逻辑系统Luk 张小红1，祝峰2 (1．上海海事大学文理学院上海浦东区2013∞：Z电子科技大学计算机科学与工程学院成都6100S4) 研究了它的基本性质，并将其进一步拓广到一般正则双Stone代数中，证明了添加新蕴涵算子后的正则双Stone代数构成M阼代 引入Rs“I己数的概念，并证明了逻辑系统RsL的标准完备性定理(基于由近似空问确定的标准RsL．代数)．最后，说明了逻辑 辑的联系． 关键词模糊逻辑：正则双stone代数；mugh蕴涵：mu瘩II逻辑；∞ugll集 中图分类号TP30l；TPl8 文献标识码A doi：lO．396刚．is觚．1001．0548．2011．02．028 RSLand Luk RoughLogicSystem FuzzyLogicSystem z}L气NG andzHu xiac’-hon91 Fcn92 of觚锄d Maritime (1．CoIl镏e Sci册嘲．Sh锄gII丑i Unjve略时PIId∞gSh∞gh丑i201306： ▲scII∞l Sci∞∞蛐d ofEI∞嘶ic 6l0054) ofcc啦put贯Sci∞∞md勘gineerhIUniv粥nyTccImolo斟ofChi蛆c11len讪l AbstractF删ntlle tlle new setS，a descripti∞of I．0ugh isiIl臼oduced tlleme吐lod oft11is muglIiIllplicationope豫tor algebmicproperties bymodi匆ing byRef．【l】，some Stone and roughimplicationoperator锄-eiIlveStigatcd，andmeseresults缸e眢eneral捌tore舀ll盯doublealgebras tlle is Stone tIlenew followingimport锄t他suItproved：t11ercgul盯doubIealgeb甩wittlrougtliITlplication0perator morea schematicis setS锄d iS锄l、，IV．algebr扎FunherrougtllogicsystemRSLiscons口nlctcd，itS rough extensional Stone