This paper deals with the formal system of propositional calculus of medium logic (MP).

本文讨论了中介逻辑命题演算（MP）的形式系统。

In this paper, A new retrieval mechanism of database is investigated based on quantified propositional calculus of Fuzzy Logic. It Can be used to process the more general fuzzy database retrieval.

本文从基于模糊逻辑的量化命题演算出发，探究一个新的数据库查询机制，用以处理更一般的量化命题意义的模糊数据库查询。

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.

系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统。