A Universal Logic Propositional Calculus System Based on 1-level Universal Operation Models | IEEE Conference Publication | IEEE Xplore