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

【文件属性】：
文件名称：中介命题演算系统MPM的代数系统 (2006年)
文件大小：242KB
文件格式：PDF
更新时间：2021-05-31 16:00:49
自然科学 论文 MPM系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统。本文通过在MPM系统匕建立一个代数系统,对MPM系统进行了代数抽象,讨论了MPM系统的代数性质。本文还研究了该代数系统的次直积,以及与其它一些代数系统之间的关系。