模糊模态逻辑中的永真式与准永真式.pdfVIP

第 11期 电 子 学 报 Vo1．37 No．11 2009年 11月 ACTAELECI’RONICASINICA NOV． 2009 模糊模态逻辑中的永真式与准永真式 胡明娣 ，一，王国俊 ， (1．陕西师范大学数学研究所，陕西西安 710062；2．西安交通大学基础科学研究中心，陕西西安 710069 3．安康学院数学系，陕西安康 725000) 摘 要： 研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系．证明了永真式一定是逻辑 有效公式，但反之不真；在模糊模态逻辑中，针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念，研 究了准永真式的基本性质，并结合 ￡ 系统构造出了一类永真式和准永真式． 关键词： 模糊模态逻辑；基本模态逻辑 ；永真式；有效公式；准永真式；模态逻辑系统M￡ 中图分类号： 0159 文献标识码： A 文章编号： 0372—2112(2009)11．2484一o5 TautologiesandQuasi—TautologiesinFuzzyModalLogic HUMing．di ．WANGGuo．jun， (1．InstituteofMathematics，ShaanxiNormalUniversity，Xi’∞，Shoanxi710062，Chn／a； 2．ResearchCenterforScience，Xi’anJiootongUniversity，Xi’ott，Shaanxi710069，China； 3．DepartmentofMathematics，AnkangCollege，Ankang，Shaanxi725000， ) Abstract： Relationshipbetweentautologiesinfuzzymodallogicandvalidformulasinbasicmodallogicisnivestigated．Itis provde thatmodaltautologiesarelogicallyvalidbutnotviceversa；Basedonaclassofcontinuous relations，theconceptof quasi-tautologyisni~oducednifuzzymodallogic，basicpropertiesofquasi—atutologiesisobtainde，andaclassofatutologiesnad quasi—atutologiesraeconstructdebymeansoftheoremsnihtelogicsystem ￡ ． Keywords： fuzZymodallogic；basicmodallogic；atutoloyg；validformula；quasi—atutoloyg；modallogicsystemM ￡ 1 引言 从而扩大其应用范围，我们在文献 [10]中从概念的程度 模态逻辑是理论计算机科学研究中的一个重要方 化人手建立了计量逻辑学理论，不过，这种计量化研究 面．文献[1]指出：“除了一阶谓词逻辑，现在在计算机界 尚未应用于模态逻辑．最近我们见到了文献 [11，12]，作 谈论得最多的逻辑系统要算是模态逻辑 (modallogic) 者们将计量化思想应用到了模态命题逻辑之中，较好地 了．它不仅是程序语义描述的有力工具，时态逻辑和动 体现了上面所说的三点共识 ，只是一些方面的内容尚有 态逻辑的理论基础，而且在知识的形式表示方面表现出 待进一步展开 ．本文的目的在于研究文献 [11，12]中的 永