λ-Resolution of the Medium Predicate Logic System
中介谓词逻辑系统的λ-归结

For medium predicate logic system MF, a new infinite value semantic interpretation that is l-interpretation is introduced, the l-resolution method is led into the MF. The l-resolution principle of MF is discussed and its completeness is proved.