Hledat
Zobrazují se záznamy 1-10 z 21
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 ...
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í ...
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 ...
Naive set theory with exclusive interpretation of quantifiers
Naivní teorie množin s výlučnou interpretací kvantifikátorů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Punčochář, Vít
Datum publikování: 2023
Datum obhajoby: 16. 06. 2023
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Naive set theory can be formalised in first-order logic as a theory with one axiom (of extensionality) and one axiom schema (of unrestricted comprehension). It is widely known that this theory is inconsistent. What is less ...
Naivní teorii množin je možné formalizovat v logice prvního řádu jako teorii s jedním axiomem (extenzionality) a jedním axiomatickým schématem (neomezené komprehenze). Dobře známým faktem je, že taková teorie je sporná. ...
Naivní teorii množin je možné formalizovat v logice prvního řádu jako teorii s jedním axiomem (extenzionality) a jedním axiomatickým schématem (neomezené komprehenze). Dobře známým faktem je, že taková teorie je sporná. ...
Aspects of the Cut-Elimination Theorem
Aspekty věty o eliminovatelnosti řezů
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2021
Datum obhajoby: 07. 09. 2021
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: I give a proof of the cut-elimination theorem (Gentzen's Hauptsatz) for an intuitionistic multi-succedent calculus. The proof follows the strategy of eliminating topmost maximal-rank cuts that allows for a straightforward ...
I give a proof of the cut-elimination theorem (Gentzen's Hauptsatz ) for an intuitionistic multi-succedent calculus. The proof follows the strategy of eliminating topmost maximal-rank cuts that allows for a straightforward ...
I give a proof of the cut-elimination theorem (Gentzen's Hauptsatz ) for an intuitionistic multi-succedent calculus. The proof follows the strategy of eliminating topmost maximal-rank cuts that allows for a straightforward ...
Hyperintensional Modal Logic: Motivation, Semantic Frameworks, and Basic Theory.
Hyperintenzionální modální logika: Motivace, sémantické přístupy a základní teorie
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Sedlár, Igor
Datum publikování: 2023
Datum obhajoby: 16. 06. 2023
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: A modal operator is hyperintensional if it does not respect the Equivalence Rule (RE), according to which if two formulas are logically equivalent, then so are the results of applying the modal operator to them. Typically, ...
Modálny operátor je hyperintenzionálny, ak nerešpektuje pravidlo ekvivalencie (RE), podľa ktorého ak sú dve formuly logicky ekvivalentné, tak aj výsledky aplikácie modál- neho operátoru na nich sú ekvivalentné. Typicky sa ...
Modálny operátor je hyperintenzionálny, ak nerešpektuje pravidlo ekvivalencie (RE), podľa ktorého ak sú dve formuly logicky ekvivalentné, tak aj výsledky aplikácie modál- neho operátoru na nich sú ekvivalentné. Typicky sa ...
The continuum function on singular cardinals
Funkce kontinua na singulárních kardinálech
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2012
Datum obhajoby: 20. 09. 2012
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Bakalářská práce se zabývá chováním funkce kontinua na singulárních kardinálech v teorii ZFC. Práce je rozdělena na dvě části. První část se soustředí na Silverovu větu a rozebírá dva různé důkazy této věty, původní Silverův ...
Bachelor thesis studies the behaviour of the continuum function on singular cardinals in theory ZFC. The work is divided into two parts. The focus of the first part is on the Silver's Theorem and it analyzes two different ...
Bachelor thesis studies the behaviour of the continuum function on singular cardinals in theory ZFC. The work is divided into two parts. The focus of the first part is on the Silver's Theorem and it analyzes two different ...
Aplikace temporálních logik ve fyzice
Aplikace temporálních logik ve fyzice
Diplomová práce (OBHÁJENO)
Vedoucí práce: Majer, Ondrej
Datum publikování: 2011
Datum obhajoby: 22. 09. 2011
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce představuje v krátkosti tři hlavní obory zabývající se zkoumáním času: fyziku, filosofii a logiku. Je podán úvod do obecné teorie relativity, termodynamiky a kvantové fyziky. Jsou vyjmenovány i základní filosofické ...
This thesis presents an introduction to the three main fields that study time: physics, philosophy, and logics. A brief introduction to general relativity, thermodynamics and quantum physics is made. Also some of the basic ...
This thesis presents an introduction to the three main fields that study time: physics, philosophy, and logics. A brief introduction to general relativity, thermodynamics and quantum physics is made. Also some of the basic ...
Categories of fuzzy sets
Kategorie fuzzy množin
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Běhounek, Libor
Datum publikování: 2009
Datum obhajoby: 29. 06. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Category theory provides very useful tools for studying mathematical structures and phenomena. One of the structures that is studied in a category-theoretical manner are fuzzy sets. If we consider fuzzy sets as objects and ...
Classification of (in)finitary logics
Klasifikace (in)finitárních logik
Diplomová práce (OBHÁJENO)
Vedoucí práce: Noguera, Carles
Datum publikování: 2015
Datum obhajoby: 08. 09. 2015
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: V této magisterské práci se budeme zabývat větami o úplnosti v rámci abstraktní algebraické logiky. Náš ústřední zájem bude spočívat v úplnosti vůči takzvaným relativně (konečně) subdirektně ireducibilním modelům. Významnou ...
In this master thesis we investigate completeness theorems in the framework of abstract algebraic logic. Our main interest lies in the completeness with respect to the so called relatively (finitely) subdirectly irreducible ...
In this master thesis we investigate completeness theorems in the framework of abstract algebraic logic. Our main interest lies in the completeness with respect to the so called relatively (finitely) subdirectly irreducible ...