Hledat
Zobrazují se záznamy 1-8 z 8
Usuzování s nekonzistentními informacemi
Usuzování s nekonzistentními informacemi
Dizertační práce (OBHÁJENO)
Vedoucí práce: Bílková, Marta
Datum publikování: 2018
Datum obhajoby: 27. 06. 2018
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato dizertační práce studuje extenze čtyřhodnotové Belnapovy-Dunnovy logiky, tzv. superbelnapovské logiky, z pohledu abstraktní algebraické logiky. Popisujeme v ní globální strukturu svazu superbelnapovských logik a ukazu- ...
This thesis studies the extensions of the four-valued Belnap-Dunn logic, called super-Belnap logics, from the point of view of abstract algebraic logic. We describe the global structure of the lattice of super-Belnap logics ...
This thesis studies the extensions of the four-valued Belnap-Dunn logic, called super-Belnap logics, from the point of view of abstract algebraic logic. We describe the global structure of the lattice of super-Belnap logics ...
The tree property and the continuum function
Stromová vlastnost a funkce kontinua
Dizertační práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2017
Datum obhajoby: 02. 12. 2017
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: The continuum function is a function which maps every infinite cardinal κ to 2κ. We say that a regular uncountable cardinal κ has the tree property if every κ-tree has a cofinal branch, or equivalently if there are no ...
Funkce kontinua je funkce, která libovolnému nekonečnému kardinálu κ přiřadí hodnotu 2κ. Řekneme, že regulární nespočetný kardinál κ má stromovou vlastnost, jestliže každý κ-strom má kofinální větev, ekvivalentně, že ...
Funkce kontinua je funkce, která libovolnému nekonečnému kardinálu κ přiřadí hodnotu 2κ. Řekneme, že regulární nespočetný kardinál κ má stromovou vlastnost, jestliže každý κ-strom má kofinální větev, ekvivalentně, že ...
Undecidability of Some Substructural Logics
Nerozhodnutelnost některých substrukturálních logik
Dizertační práce (OBHÁJENO)
Vedoucí práce: Bílková, Marta
Datum publikování: 2015
Datum obhajoby: 10. 06. 2015
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato disertační práce se zabývá algoritmickou nerozhodnutelností (neřešitel- ností) dokazatelnosti v některých neklasických logikách. Ve skutečnosti existují dvě přirozené varianty toho problému. Mějme dánu logiku, pak ...
This thesis deals with the algorithmic undecidability (unsolvability) of provability in some non-classical logics. In fact, there are two natural variants of this problem. Fix a logic, we can study its set of theorems or ...
This thesis deals with the algorithmic undecidability (unsolvability) of provability in some non-classical logics. In fact, there are two natural variants of this problem. Fix a logic, we can study its set of theorems or ...
Dôkazy bezespornosti aritmetiky
Dôkazy bezespornosti aritmetiky
Dizertační práce (OBHÁJENO)
Vedoucí práce: Pudlák, Pavel
Datum publikování: 2017
Datum obhajoby: 01. 11. 2017
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: The thesis consists of two parts. The first one deals with Gentzen's consistency proof of 1935, especially with the impact of his cut elimination strategy on the complexity of the proof. Our analysis of Gentzen's cut elimi- ...
Táto práca pozostáva z dvoch častí. Prvá čast sa zaoberá Gentze- novým dôkazom bezespornosti Peanovej aritmetiky (PA), ktorý pochádza z roku 1935. Skúmame hlavne Gentzenovu stratégiu eliminácie rezu, ktorá eliminuje rezy, ...
Táto práca pozostáva z dvoch častí. Prvá čast sa zaoberá Gentze- novým dôkazom bezespornosti Peanovej aritmetiky (PA), ktorý pochádza z roku 1935. Skúmame hlavne Gentzenovu stratégiu eliminácie rezu, ktorá eliminuje rezy, ...
An abstract study of completeness in infinitary logics
Abstraktní studium úplnosti pro infinitární logiky
Dizertační práce (OBHÁJENO)
Vedoucí práce: Noguera, Carles
Datum publikování: 2018
Datum obhajoby: 04. 10. 2018
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: V této dizertační práci se zabýváme studiem vlastností úplnosti infinitárních výrokových logik z pohledu abstraktní algebraické logiky. Cílem práce je pochopit, jak lze základní nástroj v důkazech uplnosti, tzv. Lindenbaumovo ...
In this thesis we study completeness properties of infinitary propositional logics from the perspective of abstract algebraic logic. The goal is to under- stand how the basic tool in proofs of completeness, the so called ...
In this thesis we study completeness properties of infinitary propositional logics from the perspective of abstract algebraic logic. The goal is to under- stand how the basic tool in proofs of completeness, the so called ...
Pozorování času: Odvozování ve statických světech
Pozorování času: Odvozování ve statických světech
Dizertační práce (OBHÁJENO)
Vedoucí práce: Dieks, Dennis
Datum publikování: 2019
Datum obhajoby: 20. 09. 2019
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tématem dizertace je logické odvozování o čase v bezčasových modelech světa. Práce za tímto účelem představuje větvící se logiku s pozorovateli. Za pomoci této logiky jsou dokázána tvrzení, která ukazují, že pozorovatelé ...
The topic of this thesis is temporal logical inference in atemporal models of time. The thesis presents a branching logic with observers for the purpose of this investigation. A series of theorems rigorously demonstrate ...
The topic of this thesis is temporal logical inference in atemporal models of time. The thesis presents a branching logic with observers for the purpose of this investigation. A series of theorems rigorously demonstrate ...
Logic of questions
Logika otázek
Dizertační práce (OBHÁJENO)
Vedoucí práce: Peregrin, Jaroslav
Datum publikování: 2011
Datum obhajoby: 14. 04. 2011
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Logic of Questions Michal Peliš PhD Thesis Abstract The thesis deals with logic of questions (erotetic logic), which is one of the branches of non- classical logic. In the introductory part we speak generally about ...
Logika otázek Michal Peliš Disertační práce Abstrakt Práce se zabývá jedním z odvětví neklasických logik - logikou otázek (erotetickou logikou). V úvodní části se hovoří obecně o formalizovaném přístupu k otázkám v logice ...
Logika otázek Michal Peliš Disertační práce Abstrakt Práce se zabývá jedním z odvětví neklasických logik - logikou otázek (erotetickou logikou). V úvodní části se hovoří obecně o formalizovaném přístupu k otázkám v logice ...
Logic, form and argument
Logika, forma a argument
Dizertační práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2012
Datum obhajoby: 10. 09. 2012
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: The goal of this thesis is to defend and explain the claim that traditional logical analysis is not the best tool for studying natural language argumentation. The most common critique directed at employment of logical ...
Cílem mé disertace je obhájit a vysvětlit tezi, že tradiční logická analýza není vhodným nástrojem ke zkoumání argumentace v přirozeném jazyce. Nejčastější kritika formální logiky jako nástroje pro analýzu přirozeného ...
Cílem mé disertace je obhájit a vysvětlit tezi, že tradiční logická analýza není vhodným nástrojem ke zkoumání argumentace v přirozeném jazyce. Nejčastější kritika formální logiky jako nástroje pro analýzu přirozeného ...