The aim of this article is the partial axiomatization for 1-level universal logic. A propositional calculus formal deductive system ULh∈（0,1） based on l-level universal AND operator of universal logic is algebra L...The aim of this article is the partial axiomatization for 1-level universal logic. A propositional calculus formal deductive system ULh∈（0,1） based on l-level universal AND operator of universal logic is algebra LПIG is introduced. The of system ULh∈（0,1） are proved. built up. The corresponding soundness and the completeness展开更多
基金the Special Foundation of Education Department of Shanxi Province (07JK255)Basic Scientific Research Foundation of Northwestern Polytechnical University (W018101)
文摘The aim of this article is the partial axiomatization for 1-level universal logic. A propositional calculus formal deductive system ULh∈（0,1） based on l-level universal AND operator of universal logic is algebra LПIG is introduced. The of system ULh∈（0,1） are proved. built up. The corresponding soundness and the completeness
