Ma, Ying Cang The axiomatization for 0-level universal logic. He, H In: Lecture Notes in Computer Science. -- Vol. 3930 Advances in Machine Learning and Cybernetics (2006), s.367-376.