浙江理工大学学报
浙江理工大學學報
절강리공대학학보
JOURNAL OF ZHEJIANG SCI-TECH UNIVERSITY
2012年
1期
143-145
,共3页
模糊逻辑%左连续t-模%滤子%紧致性
模糊邏輯%左連續t-模%濾子%緊緻性
모호라집%좌련속t-모%려자%긴치성
紧致性是模糊逻辑的一个重要性质,G(o)del命题逻辑、NMG命题逻辑和L*命题逻辑都是紧致的.利用滤子理论证明了一类基于左连续t-模的命题逻辑Hα的紧致性,为模糊逻辑紧致性的证明提供了新方法,同时给出了G(o)del命题逻辑、NMG命题逻辑和L*命题逻辑紧致性定理的新的统一证明.
緊緻性是模糊邏輯的一箇重要性質,G(o)del命題邏輯、NMG命題邏輯和L*命題邏輯都是緊緻的.利用濾子理論證明瞭一類基于左連續t-模的命題邏輯Hα的緊緻性,為模糊邏輯緊緻性的證明提供瞭新方法,同時給齣瞭G(o)del命題邏輯、NMG命題邏輯和L*命題邏輯緊緻性定理的新的統一證明.
긴치성시모호라집적일개중요성질,G(o)del명제라집、NMG명제라집화L*명제라집도시긴치적.이용려자이론증명료일류기우좌련속t-모적명제라집Hα적긴치성,위모호라집긴치성적증명제공료신방법,동시급출료G(o)del명제라집、NMG명제라집화L*명제라집긴치성정리적신적통일증명.
