Yingcang Ma

Learn More
—The aim of this paper is solving the predicate calculus formal system based on 1-level universal AND operator. Firstly, universal logic and propositional calculus formal deductive system (0 1] h UL − ∈ , are introduced. Secondly, a predicate calculus formal deductive system (0 1] h UL − ∈ , ∀ based on 1-level universal AND operator is built. Thirdly, the(More)