Predicate formal system VUL-h∈[0.75,1] and its completeness

doi:10.3778/j.issn.1002-8331.2010.34.006

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (34): 17-20.DOI: 10.3778/j.issn.1002-8331.2010.34.006

• 博士论坛 • Previous Articles Next Articles

Predicate formal system VUL^-_h∈[0.75,1] and its completeness

MA Ying-cang^1，3，HE Hua-can²

1.School of Electronics and Information，Northwestern Polytechnical University，Xi’an 710072，China
2.School of Computer Science，Northwestern Polytechnical University，Xi’an 710072，China
3.School of Science，Xi’an Polytechnic University，Xi’an 710048，China

Received:2010-09-08 Revised:2010-10-25 Online:2010-12-01 Published:2010-12-01
Contact: MA Ying-cang

谓词形式系统VUL^-_h∈[0.75,1]及其完备性

马盈仓^1，3，何华灿²

1.西北工业大学电子信息学院，西安 710072
2.西北工业大学计算机学院，西安 710072
3.西安工程大学理学院，西安 710048

通讯作者: 马盈仓

Abstract

Abstract: The main aim of this paper is solving the completeness of first-order predicate calculus formal system VUL^-_h∈[0.75,1]based on first-level universal AND operator.By introducing the universal quantifier and existential quantifier，the predicate calculus formal deductive system VUL^-_h∈[0.75,1]based on 0-level universal AND operator according to propositional calculus formal deductive system VUL^-_h∈[0.75,1]of universal logic is built up，moreover，the completeness theorem of system is proved.So it shows that the semantic and syntactic of system VUL^-_h∈[0.75,1]are harmony.

Key words: universal logic, predicate calculus formal system, universal AND operator

摘要： 主要解决基于一级泛与运算的一阶谓词演算形式系统VUL^-_h∈[0.75,1]的完备性。通过引入全称量词和存在量词，建立与命题形式系统VUL^-_h∈[0.75,1]相对应的一阶谓词形式系统VUL^-_h∈[0.75,1]，证明其完备性定理。从而说明形式系统VUL^-_h∈[0.75,1]的语义和语构是和谐的。

关键词: 泛逻辑, 谓词演算形式系统, 泛与运算

CLC Number:

TP18
B815

MA Ying-cang^1，3，HE Hua-can². Predicate formal system VUL^-_h∈[0.75,1] and its completeness[J]. Computer Engineering and Applications, 2010, 46(34): 17-20.

马盈仓^1，3，何华灿². 谓词形式系统VUL^-_h∈[0.75,1]及其完备性[J]. 计算机工程与应用, 2010, 46(34): 17-20.

[1]	FU Li-hua¹，MAO Ming-yi²，HE Hua-can³. Studies on universal combinatorial operation model based on [a，b] [J]. Computer Engineering and Applications, 2009, 45(36): 35-37.
[2]	LIU Chun-hui. （∈，∈∨q）-fuzzy filters of UB algebras in universal logic [J]. Computer Engineering and Applications, 2009, 45(34): 29-31.
[3]	MAO Ming-yi¹,CHEN Zhi-cheng²,MO Qian¹,DUAN Da-gao¹. Solution to generalized self-correlation coefficient on generalized interval [J]. Computer Engineering and Applications, 2008, 44(13): 20-23.
[4]	Ying-Cang Ma Hua-Can He Zhan-Ao Xue. Generalized Tautologies Theory of Universal Logic Based on the 0-level Universal AND Operators [J]. Computer Engineering and Applications, 2007, 43(3期): 16-16.
[5]	LIU Li¹,HE Hua-can¹,JIA Peng-tao²,LIN Wei¹. Study on universal logics control to second order inverted pendulum [J]. Computer Engineering and Applications, 2007, 43(36): 82-85.
[6]	XIAO Yun-ping,ZOU Ting-rong. Filters and quotient algebra of UB algebras in universal logic [J]. Computer Engineering and Applications, 2007, 43(35): 90-92.
[7]	XIAO Yun-ping，ZOU Ting-rong. Some properties of UB-algebras systems in universal logic [J]. Computer Engineering and Applications, 2007, 43(21): 72-74.
[8]	,. Comparison of Five Controllers for the Inverted Pendulum System [J]. Computer Engineering and Applications, 2006, 42(30期): 3-.

Predicate formal system VUL^-_h∈[0.75,1] and its completeness

谓词形式系统VUL^-_h∈[0.75,1]及其完备性

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 8

Recommended Articles

Metrics

Predicate formal system VUL-h∈[0.75,1] and its completeness

谓词形式系统VUL-h∈[0.75,1]及其完备性

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 8

Recommended Articles

Metrics

Predicate formal system VUL^-_h∈[0.75,1] and its completeness

谓词形式系统VUL^-_h∈[0.75,1]及其完备性