A Propositional Deductive System Of Universal Logic with Projection Operator

Authors:
Yingcang Ma;Qiaoyan Li
Affiliations:
Xi'an Polytechnic University, China;Xi'an Polytechnic University, China
Venue:
ISDA '06 Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications - Volume 01
Year:
2006

Citing 0
Cited 2

A predicate formal system of universal logic with projection operator

ICIC'10 Proceedings of the 6th international conference on Advanced intelligent computing theories and applications: intelligent computing
The predicate formal system based on 1-level universal AND operator

AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

The aim of this paper is the partial axiomatization for universal logic which was proposed by Prof. H.C. He in 2001. Firstly, a propositional calculus formal deductive