The medium system is a new mathematical theoretical system, in which the medium principle is used as base and the medium logic calculus as a means.
中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。
This paper deals with the formal system of propositional calculus of medium logic (MP).
本文讨论了中介逻辑命题演算(MP)的形式系统。
This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM.
本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。
MP~M is a 3-valued logic propositional calculus system which is based on the medium logic system, and it is used to deal with the incomplete information in the database.
MP~M系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统。
MP~M is a 3-valued logic propositional calculus system which is based on the medium logic system, and it is used to deal with the incomplete information in the database.
MP~M系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统。
应用推荐