作者：段景瑶 王国俊模态逻辑mr0代数m滤子模糊化完备性
摘要：引入了MR0代数的概念，讨论了它的一些重要性质，给出了MR0代数的同构定理。其次，构建了模态系统K1，证明了在MR0代数语义下该系统是完备的。最后，通过将Kripke模型中的赋值V模糊化，建立了模态逻辑系统恐，并证明了系统＆是可靠的；通过将Kripke模型中的二元关系R模糊化，建立了模态逻辑系统恐，并证明了系统K是完备的。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《山东大学学报·理学版》（CN：37-1389/N）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《山东大学学报·理学版》为理工科综合性学术期刊。旨在反映该校自然科学领域中的最新研究成果，促进学术交流，活跃学术思想。
杂志详情
