The predicate formal system based on 1-level universal AND operator

Authors:
Ying-cang Ma;Xue-zhen Dai
Affiliations:
School of Science, Xi'an Polytechnic University, Xi'an, China and School of Electronics and information, Northwestern Polytechnical University, Xi'an, China;School of Science, Xi'an Polytechnic University, Xi'an, China
Venue:
AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part I
Year:
2011

Citing 2
Cited 0

A Propositional Deductive System Of Universal Logic with Projection Operator

ISDA '06 Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications - Volume 01
The axiomatization for 0-level universal logic

ICMLC'05 Proceedings of the 4th international conference on Advances in Machine Learning and Cybernetics

Quantified Score

Hi-index	0.00

Visualization

Abstract

The aim of this paper is the partial axiomatization for firstorder predicate calculus formal system based on first-level universal AND operator. By introducing the universal quantifier and existential quantifier, a predicate calculus formal deductive system ∀ULh∈(0,1]- based on 1-level universal AND operator according to propositional calculus formal deductive system ULh∈(0,1]- of universal logic is built up, moreover, the completeness of system ∀ULh∈(0,1]- are proved. So it shows that the semantic and syntactic of system ∀ULh∈(0,1]- are harmony.