Fuzzy MacNielle and Dedekind Completions of Crisp Dense Linear Orderings

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Fuzzy MacNielle and Dedekind Completions of Crisp Dense Linear Orderings
Original language description
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.
Czech name
Fuzzy macneillovské a dedekindovské zúplnění ostrých lineárních hustých uspořádání
Czech description
V článku jsou definovány dva druhy fuzzy svazového zúplnění v rámci henkinovské fuzzy logiky vyššího řádu: fuzzy macneillovské zúplnění pomocí fuzzy stabilních množin a fuzzy dedekindovské zúplnění pomocí fuzzy dedekindovských řezů. Článek zkoumá vlastnosti a vzájemné vztahy obou pojmů a porovnává je s výsledky známými z literatury; omezuje se přitom na ostrá (crisp) hustá lineární uspořádání, důležitá pro teorii fuzzy reálných čísel.

Project
<a href="/en/project/GD401%2F03%2FH047" target="_blank" >GD401/03/H047: Logical foundations of semantics and knowledge representation</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)