Axiomatization for 1-level universal AND operator

The aim of this article is the partial axiomatization for 1-level universal logic. A propositional calculus formal deductive system UL−hɛ(0,1) based on 1-level universal AND operator of universal logic is built up. The corresponding algebra is introduced. The soundness and the completeness of system UL−hɛ(0,1) are proved.