Hledat
Zobrazují se záznamy 1-3 z 3
Logická analýza a forma tvrzení typu "to-a-to existuje"
The logical analysis and the logical form of the statements "A exists"
Dizertační práce (OBHÁJENO)
Vedoucí práce: Materna, Pavel
Datum publikování: 2008
Datum obhajoby: 19. 05. 2008
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Cílem této práce bylo nalézt vhodnou logickou formu pro tvrzení typu "to-a-to existuje". Nejprve byl proveden rozbor významu těchto tvrzení založený na historickém přístupu. Na jeho základě byla stanovena východiska ...
The thesis investigates the logical form of the statements "so-and-so exists". Firstly, the historical survey was displayed in order to identify the meaning of this sort of statements. Hence starting conditions ...
The thesis investigates the logical form of the statements "so-and-so exists". Firstly, the historical survey was displayed in order to identify the meaning of this sort of statements. Hence starting conditions ...
Interpolation in modal logics
Interpolace v modálních logikách
Dizertační práce (OBHÁJENO)
Vedoucí práce: Pudlák, Pavel
Datum publikování: 2006
Datum obhajoby: 22. 11. 2006
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Since Craig's landmark result on interpolation for classical predicate logic, proved as the main technical lemma in [14], interpolation is considered one of the centra! concepts in pure logic. Various interpolation ...
Logical foundations of fuzzy mathematics
Logické základy fuzzy matematiky
Dizertační práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2009
Datum obhajoby: 01. 10. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Předložená disertační práce sestává z autorových publikovaných článků o logických základech fuzzy matematiky, doplněných strhující studií (tvoricich úvodní část disertace), ve které je představen formálně logický přístup ...
The dissertation consists of the author's published papers on logic-based fuzzy mathe- matics. It is accompanied with a cover study (Part I of the thesis), which introduces the area of logic-based fuzzy mathematics, ...
The dissertation consists of the author's published papers on logic-based fuzzy mathe- matics. It is accompanied with a cover study (Part I of the thesis), which introduces the area of logic-based fuzzy mathematics, ...