摘要:研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合£^*系统构造出了一类永真式和准永真式.
关键词:模糊模态逻辑 基本模态逻辑 永真式 有效公式 准永真式
单位:陕西师范大学数学研究所; 陕西西安710062; 西安交通大学基础科学研究中心; 陕西西安710069; 安康学院数学系; 陕西安康725000
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
相关范文
模糊数学论文