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

• 作者: 王国俊 胡明娣
• 来源期刊: 电子学报
• 学科: 数学
• 关键词: 模糊模态逻辑 基本模态逻辑 永真式 有效公式 准永真式 模态逻辑系统M￡~*
• 年，卷（期）: 2009,（11）
• 所属期刊栏目: 学术论文
• 页码范围: 2484-2488
• 页数: 5页
• 分类号: O159
• 字数: 5780字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2009.11.023

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学研究所	46	1247	16.0	34.0
5	胡明娣	陕西师范大学数学研究所	10	51	4.0	7.0