Fuzzy Horn logic II |
| |
Authors: | Radim Bělohlávek Vilém Vychodil |
| |
Affiliation: | (1) Department Computer Science, Palacky University, Tomkova 40, 779 00 Olomouc, Czech Republic |
| |
Abstract: | ![]() The paper studies closure properties of classes of fuzzy structures defined by fuzzy implicational theories, i.e. theories whose formulas are implications between fuzzy identities. We present generalizations of results from the bivalent case. Namely, we characterize model classes of general implicational theories, finitary implicational theories, and Horn theories by means of closedness under suitable algebraic constructions. |
| |
Keywords: | Fuzzy logic Equational Logic Horn logic Implication Degree of provability |
本文献已被 SpringerLink 等数据库收录! |
|