文献类型：期刊文章

作　　者：胡明娣[1,2] 王国俊[1,3]

机构地区：[1]陕西师范大学数学研究所,陕西西安710062 [2]安康学院数学系,陕西安康725000 [3]西安交通大学基础科学研究中心,陕西西安710069

出　　处：《电子学报》

基　　金：国家自然科学基金(No.10771129);陕西师范大学研究生培养创新基金(No.2009CXB006)

年　　份：2009

卷　　号：37

期　　号：11

起止页码：2484-2488

语　　种：中文

收录情况：BDHX、BDHX2008、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20095312588411)、INSPEC、JST、RSC、SCOPUS、ZGKJHX、核心刊

摘　　要：研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合￡*系统构造出了一类永真式和准永真式.

关 键 词：模糊模态逻辑  基本模态逻辑  永真式  有效公式  准永真式  模态逻辑系统M￡*  

分 类 号：O159[数学类]