Ma, Ying Cang A propositional calculus formal deductive system ULhe0,1] of universal logic. He, Huacan C In: The Hong Kong Polytechnic University, 2005. -- ICMLC 2005 : International Conference on Machine Learning and Cybernetics, China, Guangzhou, 18.-21.8.2005. -- s.2716-2721.