.png){kind=icon}
Return
Logical approximation II
.png){kind=icon}
PRE
AI
DOI：10.1007/S00500-002-0209-3.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
The paper continues a study of extensional formulas and their representation by normal forms. The notion of extensional formula is extended to the case when extensionality is considered with respect to a binary reflexive relation. It has been proved that extensional formulas can be represented by normal forms of infinite type and approximated by normal forms of finite type. All proofs are given formally in fuzzy predicate BL-logic.
Keywords:
disjunctive and conjunctive normal forms
BL-logic
fuzzy logic
extensionality
approximation
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
2.5
Papers:
1.0W
Citations:
2.1W
Organization
No organization information available
Cited Papers
No cited papers available