论文部分内容阅读
紧致性是模糊逻辑的一个重要性质，Godel命题逻辑、NMG命题逻辑和L^＊命题逻辑都是紧致的。利用滤子理论证明了一类基于左连续t-模的命题逻辑鼠的紧致性，为模糊逻辑紧致性的证明提供了新方法，同时给出了Godel命题逻辑、NMG命题逻辑和L^＊命题逻辑紧致性定理的新的统一证明。
几个模糊命题逻辑紧致性的新证明
【摘 要】
：
紧致性是模糊逻辑的一个重要性质，Godel命题逻辑、NMG命题逻辑和L^＊命题逻辑都是紧致的。利用滤子理论证明了一类基于左连续t-模的命题逻辑鼠的紧致性，为模糊逻辑紧致性的证明提
【机 构】
：
浙江理工大学理学院
【出 处】
：
浙江理工大学学报
【发表日期】
：
2012年1期
【基金项目】
：
基金项目：国家自然科学基金项目（10871229,60863002）,浙江理工大学科研项目（YJG-Z07001）
其他文献
作为检察机关，担负着国家的法律监督职责，如何推进三项重点工作．更决定着自身在经济形势、社会稳定形势、反腐倡廉形势中的作用。检察机关必须将深人推进三项重点工作贯穿于检察
农村小学信息技术教学从无盘工作站,再到机器人、物联网教学,前人的智慧告诉我们,在教学的发展道路上,从来就没有一成不变、放之四海而皆准的模式。所以,立足农村小学信息技
近年来社区矫正作为新型的刑罚执行方式越来越受到社会的关注。2009年最高人民法院等部门发布了《关于在全国试行社区矫正工作的意见》,标志着社区矫正在全国范围内全面试行
近年来,江西省抚州市检察机关积极履行民事行政检察职能,初步构建起“内外联动、无缝对接、注重成效”的大调解格局。自2008年以来,全市检察机关共息诉民事行政申诉案件40件,
在举国上下全力应对国际金融危机的奋斗中，我们还来不及清点战果，就已告别2009年，走进了2010!年2010年对于中国又是一个特殊的年份。在这一年，我们的许多改革发展政策将经受检验，