摘要
研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合￡*系统构造出了一类永真式和准永真式.
Relationship between tautologies in fuzzy modal logic and valid formulas in basic modal logic is investigated. It is proved that modal tautologies are logically valid but not vice versa;Based on a class of continuous binary relations, the concept of quasi-tautology is introduced in fuzzy modal logic, basic properties of quasi-tautologies is obtained, and a class of tautologies and quasi-tautologies are constructed by means of theorems in the logic system ￡^＊.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2009年第11期2484-2488,共5页
Acta Electronica Sinica
基金
国家自然科学基金(No.10771129)
陕西师范大学研究生培养创新基金(No.2009CXB006)
