Compactness theorems of fuzzy semantics |
| |
Authors: | Guojun Wang |
| |
Institution: | (1) Institute of Mathematics, Shaanxi Nornial University, 710062 Xi’an, China |
| |
Abstract: | The relationship among diverse fuzzy semantics vs. the corresponding logic consequence operators has been analyzed systematically.
The results that compactness and logical compactness of fuzzy semantics are equivalent to compactness and continuity of the
logic consequence operator induced by the semantics respectively have been proved under certain conditions. A general compactness
theorem of fuzzy semantics have been established which says that every fuzzy semantics defined on a free algebra with members
corresponding to continuous functions is compact. |
| |
Keywords: | fuzzy semantics compactness logic compactness inductive set point compactness Lukasiewicz semantics |
本文献已被 SpringerLink 等数据库收录! |
| 点击此处可从《中国科学通报(英文版)》浏览原始摘要信息 |
| 点击此处可从《中国科学通报(英文版)》下载免费的PDF全文 |