ROSTISLAV HORČÍK: STANDARDNÍ ÚPLNOST LOGIKY PIMTL

Seminar bude spise technickeho charakteru a bude pojednavat o reseni jednoho otevreneho problemu z vyrokove fuzzy logiky.

Vety o uplnosti ve fuzzy logice vetsinou rikaji, ze dana logika je uplna vzhledem k nejake tride algeber, ktera obvykle tvori varietu. Nicmene ve fuzzy logice casto bereme jako typickou (standardni) mnozinu pravdivostnich hodnot realny interval [0,1]. Z tohoto duvodu se u jednotlivych fuzzy logik zkouma jeste tzv. standardni uplnost, t.j. uplnost vuci tride algeber jejichz nosicem je prave interval [0,1]. Z pohledu algebry je standardni uplnost ekvivalentni s tvrzenim, ze varieta algeber, vuci kterym je logika uplna, je generovana podtridou algeber s nosicem [0,1]. A prave o dukazu vety o standardni uplnosti logiky PiMTL bude prednaska pojednavat.