中介命题演算系统MPM的代数系统 (2006年)

【文件属性】：

文件名称：中介命题演算系统MPM的代数系统 (2006年)

文件大小：242KB

文件格式：PDF

更新时间：2024-06-20 09:47:29

自然科学 论文

MPM系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统。本文通过在MPM系统匕建立一个代数系统,对MPM系统进行了代数抽象,讨论了MPM系统的代数性质。本文还研究了该代数系统的次直积,以及与其它一些代数系统之间的关系。