DocumentCode :
460765
Title :
A Propositional Formal Deductive System UL-hϵ[0.75,1] Of Universal Logic
Author :
Ma, Yingcang
Author_Institution :
Sch. of Sci., Xi´´an Polytech. Univ.
Volume :
1
fYear :
2006
fDate :
3-6 Nov. 2006
Firstpage :
109
Lastpage :
112
Abstract :
The aim of this paper is the partial axiomatization of universal logic. A propositional calculus formal deductive system UL-hϵ[0.75,1] for 1-level universal AND operator is built up. The corresponding algebra ΠG- is introduced. We prove the system UL-hϵ[0.75,1] is sound and complete.
Keywords :
process algebra; axiomatization; propositional calculus formal deductive system; universal logic; Algebra; Artificial intelligence; Calculus; Fuzzy logic; Fuzzy reasoning; Helium; Lattices; Logic functions; Uncertainty;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computational Intelligence and Security, 2006 International Conference on
Conference_Location :
Guangzhou
Print_ISBN :
1-4244-0604-8
Electronic_ISBN :
1-4244-0605-6
Type :
conf
DOI :
10.1109/ICCIAS.2006.294100
Filename :
4072053
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=460765
بازگشت