The project builds on the results of our preceding intensive study of many-valud logic and logics of belief that has contributed significantly to the development of their systematic mathematical and logical theory and has opened new problems as well as a way to a logical analysis of technique of fuzzy logic (in the broad sense). This will be an advanced study of infinite-valued, modal and nonmonotonic logics (including possibilistic logic and Dempster-Shafer belief logics), an analysis of fundamental mathematical theories inside these logics and development of a theory of finite models of fuzzy logic in connection with computational complexity and data analysis. (en)
Projekt navazuje na výsledky našeho předchozího intenzivního studia vícehodnotových logik a logik domnění, které významně přispělo k budování jejich systematické matematicko-logické teorie a zároveň otevřelo nové otázky, jakož i cestu k logické analýze, technik fuzzy logiky (v širokém smyslu). Půjde o pokročilé studium nekonečně hodnotových, modálních a nemonotonních logik (včetně posibilistické logiky a logiky domnění ve stylu Dempstera a Shafera), analýzu základních matematických teorií uvnitř těchto logik a budování teorie konečných modelů fuzzy logiky v souvislosti s teorií výpočetní složitosti a s analýzou dat. (cs)