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，对不完全信息系统的理论和应用进行了研究。
应用推荐