Title :
λ=paramodulation in operator logic
Author_Institution :
Jilin Univ., Changchun, China
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;
Conference_Titel :
Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
Conference_Location :
Guangzhou
Print_ISBN :
0-8186-1947-3
DOI :
10.1109/ISMVL.1989.37756
