|本期目录/Table of Contents|

[1]张乐,裴道武. 几个模糊命题逻辑紧致性的新证明[J].浙江理工大学学报,2012,29(01):143-145.
　ZHANG Le,PEI Dao\|wu. A New Proof of Compactness of Several Fuzzy Proposition Logics[J].Journal of Zhejiang Sci-Tech University,2012,29(01):143-145.
点击复制

 几个模糊命题逻辑紧致性的新证明()
分享到：

浙江理工大学学报[ISSN:1673-3851/CN:33-1338/TS]

卷:
第29卷
期数:
2012年01期
页码:
143-145
栏目:
出版日期:
2012-02-28

文章信息/Info

Title:
 A New Proof of Compactness of Several Fuzzy Proposition Logics
文章编号:
16733851 (2012) 01014303
作者:
 张乐;  裴道武
 浙江理工大学理学院, 杭州 310018
Author(s):
ZHANG Le;  PEI Dao\|wu
 School of Sciences, Zhejiang Sci\|Tech University, Hangzhou 310018, China
关键词:
 ; 模糊逻辑;  左连续t\|模;  滤子;  紧致性
分类号:
O141.1
文献标志码:
A
摘要:
    紧致性是模糊逻辑的一个重要性质,Gdel命题逻辑、NMG命题逻辑和L*命题逻辑都是紧致的。利用滤子理论证明了一类基于左连续t\|模的命题逻辑Hα的紧致性, 为模糊逻辑紧致性的证明提供了新方法,同时给出了Gdel命题逻辑、NMG命题逻辑和L*命题逻辑紧致性定理的新的统一证明。

参考文献/References:

 ［1］ 张小红. 模糊逻辑及其代数分析［M］. 北京: 科学出版社, 2008.
［2］ Wang S M, Wang B S, Pei D W. A fuzzy logic for an ordinal sum t\|norm［J］. Fuzzy Sets and System, 2005, 149: 297\|307.
［3］ 王国俊, 兰蓉. 系统Hα中的广义重言式理论［J］. 陕西师范大学学报, 2003, 31(2): 1\|11.
［4］ Butnariu D, Klement E P, Zafrany S. On triangular norm\|based propositional fuzzy logics［J］. Fuzzy Sets and Systems, 1995, 69(3): 241\|255.
［5］ 应明生. 模糊逻辑的紧致性［J］. 科学通报, 1998, 43(4): 379\|383.
［6］ 王国俊. 关于模糊语义紧致性的若干定理［J］. 科学通报, 1999, 44(12): 1275\|1279.
［7］ Navara M. Satisfiability in fuzzy logics［J］. Neural Network World, 2000, 10(5): 845\|858.
［8］ 周红军, 王国俊. 逻辑系统NMG的满足性和紧致性［J］. 软件学报, 2009, 20(3): 515\|523.
［9］ Zhou H J, Wang G J. Characterization of maximal consistent theories in the formal deductive system L*(NM\|logic) and Cantor space［J］. Fuzzy Sets and Systems, 2007, 158: 2591\|2604.
［10］ 王国俊. 非经典数理逻辑与近似推理［M］. 2版. 北京: 科学出版社, 2008.
［11］ Esteva F, Godo L. Monoidal t\|norm based logic: towards a logic for left\|continuous t\|norms［J］. Fuzzy Sets and System, 2001, 124: 271\|288.
［12］ 王世强. 模型论基础［M］. 北京: 科学出版社, 1987.

相似文献/References:

[1]陈智杰a,赵晓丽a,徐畅b,等. 有机颜料微胶囊在涂料染色中的应用及其染色效果分析[J].浙江理工大学学报,2013,30(01):1.
　CHEN Zhi jiea,ZHAO Xiao lia,XU Changb,et al. Application of Organic Pigment Microcapsule in Pigment Dyeingand Its Dyeing Results[J].Journal of Zhejiang Sci-Tech University,2013,30(01):1.
[2]詹永娟,谢维斌,姜晓云,等. 织物液态水传递性能的自动检测技术及应用[J].浙江理工大学学报,2013,30(01):6.
　ZHAN Yong juan,XIE Wei bin,JIANG Xiao yun,et al. Technology and Application of the Automatic Detection inTesting Liquid Transport Properties of Textiles[J].Journal of Zhejiang Sci-Tech University,2013,30(01):6.
[3]孙麒. 基于极大似然估计的织物图像分割[J].浙江理工大学学报,2013,30(01):12.
　SUN Qi. Textile Image Segmentation Based on theMaximum Likelihood Algorithm[J].Journal of Zhejiang Sci-Tech University,2013,30(01):12.
[4]巫静a,田彦杰b,汪澜a,等. 基于SVM理论的涤纶织物分散染料上染率模型研究[J].浙江理工大学学报,2013,30(01):21.
　WU Jinga,TIAN Yan jieb,WANG Lana,et al. Research on Modeling of DyeUptake Rate for Disperse Dyes onPolyester Fibers Based on SVM[J].Journal of Zhejiang Sci-Tech University,2013,30(01):21.
[5]周昊,徐英莲,齐素梅.微孔结构改性涤纶/棉混纺针织物服用性能的研究[J].浙江理工大学学报,2013,30(01):21.
　ZHAO Hao,XU Ying lian,QI Su mei. Research on Using Knitted Blend Fabric of Modified Polyesterby Cellular Structure and Cotton for Wearing[J].Journal of Zhejiang Sci-Tech University,2013,30(01):21.
[6]孙佳英,李艳清,章斐燕,等. 纺织结构复合材料铺层顺序设计与力学性能分析[J].浙江理工大学学报,2013,30(01):27.
　SUN Jia ying,LI Yan qing,ZHANG Fei yan,et al. Study on Layer Sequence Design and Mechanical Propertiesof Textile Structure Composites[J].Journal of Zhejiang Sci-Tech University,2013,30(01):27.
[7]丁源维,王騊,姚菊明,等. 静电纺制备TiO2/PVA复合纳米纤维及其光催化性能研究[J].浙江理工大学学报,2013,30(01):31.
　DING Yuan wei,WANG Tao,YAO Ju ming,et al. Photocatalytic Performance Investigation of TiO2/PVANanofibers Prepared by Electrospinning[J].Journal of Zhejiang Sci-Tech University,2013,30(01):31.
[8]章梦洁,伍仲,方园. 涤棉混纺织物阻燃性能的实验分析[J].浙江理工大学学报,2013,30(01):36.
　ZHANG Meng jie,WU Zhong,FANG Yang. Experimental Study on the PolyesterCotton BlendedFabrics Flame Retardancy[J].Journal of Zhejiang Sci-Tech University,2013,30(01):36.
[9]胡觉亮a,孔云鹏b,韩曙光a,等. 基于随机需求的服装供应链回购契约研究[J].浙江理工大学学报,2013,30(01):40.
　HU Jue lianga,KONG Yun pengb,HAN Shu guanga,et al. Study on Repurchase Contract in a Fashion Chainwith the Stochastic Demand[J].Journal of Zhejiang Sci-Tech University,2013,30(01):40.
[10]毛雯,阎玉秀. 针织服装供应商评价指标体系构建与权重确定[J].浙江理工大学学报,2013,30(01):46.
　MAO Wen,YAN Yu xiu. Building Evaluation Index System for Knitting Clothing Suppliersand Determining the Weight[J].Journal of Zhejiang Sci-Tech University,2013,30(01):46.

备注/Memo

备注/Memo:
 收稿日期： 2011-03-09
基金项目： 国家自然科学基金项目（10871229;60863002）；浙江理工大学科研项目（YJG\|Z07001）
作者简介： 张乐（1987-），男，山东泗水人，硕士研究生，主要从事不确定性数学理论的研究。
更新日期/Last Update: