A Universal Logic Propositional Calculus System Based on 1-level Universal Operation Models

Universal logic principle has given 1-level universal conjunction operation model, universal disjunction operation model and universal implication operation model. A propositional calculus formal deductive system L^U ₁ based on these 1-level operation models was built up. Moreover, it has been proved that the propositional calculus formal deductive system L^U ₁ and the propositional calculus system L^U are equivalent.