10.3321/j.issn:0372-2112.2009.11.023
模糊模态逻辑中的永真式与准永真式
研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合￡~*系统构造出了一类永真式和准永真式.
模糊模态逻辑、基本模态逻辑、永真式、有效公式、准永真式、模态逻辑系统M￡~*
37
O159(代数、数论、组合理论)
国家自然科学基金10771129;陕西师范大学研究生培养创新基金2009CXB006
2010-01-29（万方平台首次上网日期，不代表论文的发表时间）
共5页
2484-2488
