.png){kind=icon}
返回
Logical approximation II
.png){kind=icon}
PRE
AI
DOI：10.1007/S00500-002-0209-3.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
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.
Keyword:
disjunctive and conjunctive normal forms
BL-logic
fuzzy logic
extensionality
approximation
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
