A predicate formal system of universal logic with projection operator

Authors:
Yingcang Ma;Mei Zhang
Affiliations:
School of Science, Xi'an Polytechnic University, Xi'an, China;School of Science, Xi'an Polytechnic University, Xi'an, China
Venue:
ICIC'10 Proceedings of the 6th international conference on Advanced intelligent computing theories and applications: intelligent computing
Year:
2010

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 propositional calculus formal deductive systemULδh∈(0,1] for 0-level universal AND operator with projection operator has been built up. In this paper, according to the propositional system, a predicate calculus formal deductive system ∀ULδh∈(0,1] for 0-level universal AND operator with projection operator is built up. The soundness theorem and deduction theorem of system ∀ULδh∈(0,1] are given.