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