Generalized resolution in Boolean operator fuzzy logic (Q1913910)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generalized resolution in Boolean operator fuzzy logic |
scientific article |
Statements
Generalized resolution in Boolean operator fuzzy logic (English)
0 references
2 June 1996
0 references
In a previous paper of his, the author proposed BOFL (Boolean Operator Fuzzy Logic), and Robinson's resolution for first-order logic has naturally been introduced into BOFL. In this short note he proves that generalized resolution in BOFL is sound and generalized complete.
0 references
Boolean operator fuzzy logic
0 references
generalized resolution
0 references
