A propositional calculus formal deductive system UL/sub h/spl epsi/(0,1)/ of universal logic
Yingcang Ma, Huacan He · 2005
The aim of this paper is partial axiomatization of universal logic. A propositional calculus formal deductive system UL/sub h/spl epsi/(0,1)/ of 0-level universal logic is built up. The corresponding algebra L/spl Pi/G is introduced. We prove the system ULh/spl epsi//sub h/spl epsi/(0,1)/ is soundness and complete w.r.t. the 0-level continuous universal AND operators (i.e. the continuous Schweizer-Sklar t-norms) on [0,1].