DocumentCode :
458918
Title :
A Propositional Deductive System Of Universal Logic with Projection Operator
Author :
Ma, Yingcang ; Li, Qiaoyan
Author_Institution :
Sch. of Sci., Xi´´an Polytech. Univ.
Volume :
1
fYear :
2006
fDate :
16-18 Oct. 2006
Firstpage :
996
Lastpage :
998
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 system ULhisin(0,1) Delta for 0-level universal AND operator is built up. Secondly, the corresponding algebra LstrokPiGDelta is introduced. Finally, we prove the system ULh isin(0,1) Delta is sound and complete
Keywords :
mathematical operators; process algebra; partial axiomatization; projection operator; propositional calculus formal deductive system; universal logic; Algebra; Artificial intelligence; Calculus; Fuzzy logic; Helium; Intelligent systems; Lattices; Logic functions; Uncertainty;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Intelligent Systems Design and Applications, 2006. ISDA '06. Sixth International Conference on
Conference_Location :
Jinan
Print_ISBN :
0-7695-2528-8
Type :
conf
DOI :
10.1109/ISDA.2006.77
Filename :
4021574
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=458918
بازگشت