{"type":"ScholarlyArticle","title":"Lock, Linear Lambda-Paramodulation in Operator Fuzzy Logic","authors":[{"name":"Xuhua Liu","slug":"xuhua-liu","given":"Xuhua","family":"Liu","affiliation":""}],"abstract":"The author proposed concepts of Operator Fuzzy Logic and A-Resolution in 1984. He and his cooperaters have obtained some theoretical results. This paper introduces A-paramodulation to handle a set of clauses with the predicate of equality, and thus the equality substitution can be used in fuzzy reasoning. Then the A-paramodulation method is proved Lo be complete with ~-lock-semantic method. Finallj, Yang Fengjie and I have improved the A-paramodulation, and proved that the linear A-paramodulation is complete too.","doi":null,"url":"https://ijcai.org/proceedings/1989/70","pdf":"https://ijcai.org/proceedings/1989/0070.pdf","markdown":"https://ijcai.org/proceedings/1989/70.md","bibtex":"https://ijcai.org/proceedings/1989/bibtex/70","volume":{"slug":"1989","title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1989","url":"https://ijcai.org/proceedings/1989/","year":1989,"location":"Detroit, Michigan, USA","dates":"August 20-25 1989","editors":"N. S. Sridharan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Deduction","track":"Automated Deduction","number":70,"pages":{"first":435,"last":439},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}