Fuzzy MacNielle and Dedekind Completions of Crisp Dense Linear Orderings
Autor: | Běhounek, Libor |
---|---|
Jazyk: | angličtina |
Rok vydání: | 2005 |
Předmět: | |
Popis: | In the framework of Henkin-style higher-order fuzzy logic we devone two kinds of the fuzzy lattice completion. The fuzzy MacNeille completion is the lattice completion by (possibly fuzzy) stable sets; the fuzzy Dedekind completion is the lattice completion by (possibly fuzzy) Dedekind cuts. We investigate the properties and interrelations of both notions and compare them to the results from the literature. Our attention is restricted to crisp dense linear orderings, which are important for the theory of fuzzy real numbers. |
Databáze: | OpenAIRE |
Externí odkaz: |