作者：邹尚田 王国俊模糊模态逻辑模糊模态逻辑系统mluk可达广义重言式可达广义矛盾式类类不空定理
摘要：将赋值格取为单位区间并将二元关系R模糊化，研究了模糊模态逻辑系统MLuk，然后将其赋值格离散化研究了多值模态逻辑系统MLn；证明了在MLn中，对任一可能的赋值α都存在可达α-重言式；在MLuk中对任一有理数α∈[0，1]都存在可达α-重言式；指出了在风系统R0起关键作用的升级算法对MLn系统已不再适用，并分析了其原因。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《山东大学学报·理学版》（CN：37-1389/N）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《山东大学学报·理学版》为理工科综合性学术期刊。旨在反映该校自然科学领域中的最新研究成果，促进学术交流，活跃学术思想。
杂志详情
