Title :
R0-algebra and its application
Author_Institution :
Coll. of Math. & Inf. Sci., Weinan Normal Univ., Weinan, China
Abstract :
It has completed the completeness of the form system L* and introduced first-order fuzzy predicate logic. The structure and properties of R0-algebra are introduced firstly. And then it solves the completeness of the form system L* and gives out first-order fuzzy predicate semantic theory, which provides a more reasonable logical foundation for fuzzy reasoning.
Keywords :
algebra; fuzzy logic; fuzzy reasoning; R0-algebra; first-order fuzzy predicate logic; first-order fuzzy predicate semantic theory; fuzzy reasoning; system L*; Algebra; Calculus; Educational institutions; Fuzzy reasoning; Lattices; Semantics; First-order fuzzy predicate; First-order language; Fuzzy reasoning; R0-algebra;
Conference_Titel :
Computer Science and Automation Engineering (CSAE), 2012 IEEE International Conference on
Conference_Location :
Zhangjiajie
Print_ISBN :
978-1-4673-0088-9
DOI :
10.1109/CSAE.2012.6272584
