Fuzzy macneillovské a dedekindovské zúplnění ostrých lineárních hustých uspořádání

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F05%3A00006365" target="_blank" >RIV/00216208:11210/05:00006365 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Fuzzy MacNielle and Dedekind Completions of Crisp Dense Linear Orderings
Popis výsledku v původním jazyce
In the framework of Henkin-style higher-order fuzzy logic we define 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 offuzzy real numbers.
Název v anglickém jazyce
Fuzzy MacNielle and Dedekind Completions of Crisp Dense Linear Orderings
Popis výsledku anglicky
In the framework of Henkin-style higher-order fuzzy logic we define 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 offuzzy real numbers.

Projekt
<a href="/cs/project/GD401%2F03%2FH047" target="_blank" >GD401/03/H047: Logické základy sémantiky a reprezentace znalostí</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2005
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)