Axiomatization for 1-level universal AND operator  

作　　者：MA Ying-cang HE Hua-can 

机构地区：[1]School of Science, Xi'an Polytechnic University, Xi'an 710048, China [2]School of Computer Science, Northwestern Polytechnical University,Xi'an 710072, China

出　　处：《The Journal of China Universities of Posts and Telecommunications》2008年第2期125-129,共5页中国邮电高校学报（英文版）

基　　金：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 completenessThe 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

关 键 词：universal logic propositional calculus formaldeductive system universal AND operator 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程] B815[自动化与计算机技术—控制科学与工程]