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

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

关于K的三种模糊模态逻辑

引入了MR0代数的概念,讨论了它的一些重要性质,给出了MR0代数的同构定理。其次,构建了模态系统K1,证明了在MR0代数语义下该系统是完备的。最后,通过将Kripke模型中的赋值V模糊化,建立了模态逻辑系统K2,并证明了系统K2是可靠的;通过将Kripke模型中的二元关系R模糊化,建立了模态逻辑系统K3,并证明了系统K3是完备的。