A Propositional Formal Deductive System UL¿h¿[0.75,1] Of Universal Logic
Yingcang Ma · 2006
The aim of this paper is the partial axiomatization of universal logic. A propositional calculus formal deductive system UL-hϵ[0.75,1]for 1-level universal AND operator is built up. The corresponding algebra ΠG-is introduced. We prove the system UL-hϵ[0.75,1]is sound and complete.