Publikace na Filozofická fakulta |
2005
Abstrakt
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.