Title :
A propositional calculus formal deductive system UL/sub h/spl epsi/(0,1)/ of universal logic
Author :
Ma, Ying-cang ; He, Hua-Can
Author_Institution :
Sch. of Comput. Sci., Northwestern Polytech. Univ., Xi´´an, China
Abstract :
The aim of this paper is partial axiomatization of universal logic. A propositional calculus formal deductive system UL hε(0,1) of 0-level universal logic is built up. The corresponding algebra LΠG is introduced. We prove the system ULhε hε(0,1) is soundness and complete w.r.t. the 0-level continuous universal AND operators (i.e. the continuous Schweizer-Sklar t-norms) on [0,1].
Keywords :
Boolean algebra; calculus; formal logic; partial axiomatization; propositional calculus formal deductive system; universal AND operator; universal logic; Algebra; Calculus; Computer science; Educational institutions; Fuzzy logic; Fuzzy reasoning; Helium; Machine learning; Modems; Uncertainty; Axiomatization; Basic logic; Fuzzy logic; Universal logic;
Conference_Titel :
Machine Learning and Cybernetics, 2005. Proceedings of 2005 International Conference on
Conference_Location :
Guangzhou, China
Print_ISBN :
0-7803-9091-1
DOI :
10.1109/ICMLC.2005.1527404
