Hledat
Zobrazují se záznamy 21-30 z 109
Sémantika některých neobvyklých modálních logik
Semantics of some unusual modal logics
Diplomová práce (OBHÁJENO)
Vedoucí práce: Peregrin, Jaroslav
Datum publikování: 2009
Datum obhajoby: 17. 09. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: První ást pojednává o Carnapov píspvku k modální logice. Carnapovo dílo je zalenno do historického kontextu. Je studována jeho reakce na Lewisovy kalkuly striktní implikace a jeho anticipace kripkovské sémantiky mo- ných ...
The rst part deals with Carnap s contribution to the modal logic. The Carnap s work is included in the historical context. His reaction to the Lewis calculi of the strict implication is discussed and also his anticipation ...
The rst part deals with Carnap s contribution to the modal logic. The Carnap s work is included in the historical context. His reaction to the Lewis calculi of the strict implication is discussed and also his anticipation ...
Formalizace relace odvoditelnosti pro výrokové fuzzy logiky
Formalization of the deducibility relation of propositional fuzzy logics
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Běhounek, Libor
Datum publikování: 2016
Datum obhajoby: 01. 02. 2016
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato bakalářská práce předkládá formalizaci relace odvoditelnosti fuzzy logiky BL v prostředí matematického asistenta Isabelle/HOL a počítačově ověřené důkazy některých teorémů a meta-teorémů této logiky. Zároveň poskytuje ...
This bachelor thesis presents the formalization of provability relation of fuzzy logic BL in the environment of a mathematical assistant Isabelle/HOL and also the computer-verified proofs of some theorems and syntactic ...
This bachelor thesis presents the formalization of provability relation of fuzzy logic BL in the environment of a mathematical assistant Isabelle/HOL and also the computer-verified proofs of some theorems and syntactic ...
Ortokomplementární diferenční svazy
Orthocomplemented difference lattices
Diplomová práce (OBHÁJENO)
Vedoucí práce: Pták, Pavel
Datum publikování: 2007
Datum obhajoby: 26. 09. 2007
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: T ematem t eto diplomov e pr ace je studium bin arn ho oper atoru 4, kter y mode- luje standardn symetrickou diferenci mno zin. Tento oper ator je studov an jednak samostatn e (v kapitole II), jednak s dopl nuj c svazovou ...
The theme of this thesis is the investigation of a binary operator, 4, that models the standard symmetric di erence of sets. This operator is studied both separately (in Chapter II) and with the supplementary lattice ...
The theme of this thesis is the investigation of a binary operator, 4, that models the standard symmetric di erence of sets. This operator is studied both separately (in Chapter II) and with the supplementary lattice ...
Intuitionistic logic and axiomatic theories
Intuicionistické logika a axiomatické teorie
Diplomová práce (OBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2010
Datum obhajoby: 16. 09. 2010
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Pr ace zkoum a vlastnosti n ekter ych element arn ch intuicionistick ych teori . Vybr any jsou n asleduj c teorie: teorie rovnosti, line arn ho uspo r ad an , hust eho line arn ho uspo r ad an , teorie n asledn ka, Robinsonova ...
This thesis explores some properties of elementary intuitionistic theories. We focus on the following theories: the theory of equality, linear order, dense linear order, the theory of a successor function, Robinson arithmetic ...
This thesis explores some properties of elementary intuitionistic theories. We focus on the following theories: the theory of equality, linear order, dense linear order, the theory of a successor function, Robinson arithmetic ...
Tree property at more cardinals
Stromová vlastnost kardinálů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2014
Datum obhajoby: 17. 09. 2014
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: V této práci se zabýváme Aronszajnovými a specialními Aronszajnovými stromy, je- jich existencí a neexistencí. Zavádíme dnes nejběžněji užívanou definici speciálního Aronszajnova stromu a několik zobecnění této definice a ...
In this thesis we study the Aronszajn and special Aronszajn trees, their existence and nonexistence. We introduce the most common definition of special Aronszajn tree and some of its generalizations and we examine the ...
In this thesis we study the Aronszajn and special Aronszajn trees, their existence and nonexistence. We introduce the most common definition of special Aronszajn tree and some of its generalizations and we examine the ...
Pravdivost vět o budoucnosti jako logicko-filosofický problém
The truth of future contingent propositions as a logical and philosophical problem
Diplomová práce (OBHÁJENO)
Vedoucí práce: Svoboda, Vladimír
Datum publikování: 2012
Datum obhajoby: 20. 09. 2012
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Věty o nahodilých událostech v budoucnosti představují podle některých logiků a filosofů specifický problém. Mnozí z těch, kteří se jimi dnes i v průběhu minulých staletí zabývali a zabývají, odkazují k názorům Aristotela. ...
According to some logicians and philosophers, future contingent propositions pose a specific problem. Many of those who look into this problem now and those who looked into it (even hundreds) years ago, refer to Aristotle. ...
According to some logicians and philosophers, future contingent propositions pose a specific problem. Many of those who look into this problem now and those who looked into it (even hundreds) years ago, refer to Aristotle. ...
The continuum function on regular cardinals in the presence of large cardinals
Funkce kontinua na regulárních kardinálech v kontextu velkých kardinálů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2014
Datum obhajoby: 06. 02. 2014
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: This thesis examines the interactions between the continuum function and large cardinals. It is know, by a result of Easton, that the continuum function on regular cardinals has great freedom in ZFC. However, large cardinals ...
V této práci zkoumáme, jak na sebe vzájemně působí velké kardinály a funkce kontinua. Z Eastonova výsledku víme, že funkce kontinua na regulárních kardinálech má v ZFC velkou volnost. Avšak velké kardinály kladou na chování ...
V této práci zkoumáme, jak na sebe vzájemně působí velké kardinály a funkce kontinua. Z Eastonova výsledku víme, že funkce kontinua na regulárních kardinálech má v ZFC velkou volnost. Avšak velké kardinály kladou na chování ...
Některé sémantické metody v intuicionistické logice
Some semantic methods in intuitionistic logic
Rigorózní práce (UZNÁNO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2009
Datum obhajoby: 26. 02. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: V práci se podíváme do světa intuicionistické logiky. Zjistíme že v intuicionistické logice nelze definovat logické spojky pomocí jiných logických spojek. Podíváme se, jak je to v intuicionistické logice s jednoatomovými ...
A Four-Valued Kripke Semantics for Classical and Intuitionistic Logic
Čtyřhodnotová sémantika klasické a intuicionistické logiky
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bílková, Marta
Datum publikování: 2013
Datum obhajoby: 19. 09. 2013
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce zavádí logiku, která kombinuje intuicionistickou implikaci s de Morganovskou negací způsobem, který konzervativně rozšiřuje jak klasickou tak intuicionistickou logiku. Tato logika je intuicionistickým protějškem ...
The thesis introduces a logic which combines intuitionistic implication with de Morgan negation in a way which conservatively extends both classical and intuitionistic logic. This logic is the intuitionistic counterpart ...
The thesis introduces a logic which combines intuitionistic implication with de Morgan negation in a way which conservatively extends both classical and intuitionistic logic. This logic is the intuitionistic counterpart ...
Posibilistická logika a filosofie Davida Huma
Possibilistic logic and the philosophy of David Hume
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Holeček, Tomáš
Datum publikování: 2007
Datum obhajoby: 25. 06. 2007
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce se zabývá slučitelností posihilistické logiky a filosofie Davida Huma, popsané v jeho knize Zkoumání o lidském rozumu. Posibilistická logika jako nástroj pro usuzování za nejistoty se ukazuje jako vhodná pro modelování ...
This paper presents an enquiry in to possibilistic logic and Hume's philosophy ofAn Enquiry Concerning Hwnan Understanding. As far as being a tool for reasoning under uncertainty possibilistic logic seems to be an appropriate ...
This paper presents an enquiry in to possibilistic logic and Hume's philosophy ofAn Enquiry Concerning Hwnan Understanding. As far as being a tool for reasoning under uncertainty possibilistic logic seems to be an appropriate ...