Acta Metallurgica Sinica(English letters) ›› 2008, Vol. 15 ›› Issue (2): 125-129.doi: 1005-8885 (2008) 02-0125-05

• Artificial Intelligence • 上一篇    下一篇

Axiomatization for 1-level universal AND operator

马盈仓 何华灿   

  1. School of Science, Xi’an Polytechnic University, Xi’an 710048 , China
  • 收稿日期:2007-08-30 修回日期:1900-01-01 出版日期:2008-06-30
  • 通讯作者: 马盈仓

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
  • Received:2007-08-30 Revised:1900-01-01 Online:2008-06-30
  • Contact: MA Ying-cang

摘要:

The aim of this article is the partial axiomatization for 1-level universal logic. A propositional calculus formal deductive system 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 are proved.

关键词:

universal;logic,;propositional;calculus;formal;deductive;system,;universal;AND;operator

Abstract:

The aim of this article is the partial axiomatization for 1-level universal logic. A propositional calculus formal deductive system 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 are proved.

Key words:

universal logic;propositional calculus formal deductive system;universal AND operator

中图分类号: