---
title: "Lock, Linear Lambda-Paramodulation in Operator Fuzzy Logic"
authors:
  - "Xuhua Liu"
doi: ""
url: "https://ijcai.org/proceedings/1989/70"
pdf: "https://ijcai.org/proceedings/1989/0070.pdf"
venue: "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence"
year: 1989
pages: "435-439"
track: "Automated Deduction"
keywords:
---

# Lock, Linear Lambda-Paramodulation in Operator Fuzzy Logic

Xuhua Liu

*Proceedings of the Eleventh International Joint Conference on Artificial Intelligence*, pages 435-439.

## 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.