DocumentCode
2456249
Title
λ=paramodulation in operator logic
Author
Xuhua, Liu
Author_Institution
Jilin Univ., Changchun, China
fYear
1989
fDate
29-31 May 1989
Firstpage
31
Lastpage
35
Abstract
A λ-paramodulation to handle fuzzy equality is proposed. In conjunction with λ-resolution, λ-paramodulation can be used to prove fuzzy theorems in operator fuzzy logic. It is proved that λ-paramodulation is complete for the λ-inconsistent set of clauses, using λ-resolution
Keywords
fuzzy logic; λ-resolution; fuzzy theorems; operator logic; paramodulation; Logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
Conference_Location
Guangzhou
Print_ISBN
0-8186-1947-3
Type
conf
DOI
10.1109/ISMVL.1989.37756
Filename
37756
Link To Document