Hledat
Zobrazují se záznamy 21-30 z 69
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 ...
Fragmenty intuicionistické logiky, intermediárích logik a substrukturálních logik (vybrané otázky).
Fragments of intuitionistic logic, intermediate logics and substructural logics (selected problems).
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bílková, Marta
Datum publikování: 2018
Datum obhajoby: 06. 02. 2018
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: diplomové práce Pozitivní formule v některých substrukturálních logikách, autor Pavel Truhlář V této diplomové práci budeme zkoumat, které distributivní substrukturální logiky, tak jak jsou definovány v Resstalově knize ...
The abstract of the diploma thesis "Positive Formulas for Some Substructural Logics" by Pavel Truhlar We will examine which distributive substructural logics, as defined in the book of Restall "An Introduction to Substructural ...
The abstract of the diploma thesis "Positive Formulas for Some Substructural Logics" by Pavel Truhlar We will examine which distributive substructural logics, as defined in the book of Restall "An Introduction to Substructural ...
Důkazy v přirozené dedukci a sekventovém kalkulu v substrukturální logice FL
Proofs in natural deduction and sequent system in substructural logic FL
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Bílková, Marta
Datum publikování: 2011
Datum obhajoby: 10. 02. 2011
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt nenalezen
Aritmetická úplnost logiky R
Arithmetical completeness of the logic R
Diplomová práce (OBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2014
Datum obhajoby: 17. 09. 2014
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Cílem práce bylo s použitím novodobé notace vystavět teorii Rosserovy logiky, vysvětlit do detailu její vztah s Peanovou aritmetikou, ukázat kripkovskou sémantiku a nakonec pomocí autoreference v množném čísle zpracovat ...
The aim of this work is to use contemporary notation to build theory of Rosser logic, explain in detail its relation to Peano arithmetic, show its Kripke semantics and finally using plural self-reference show the proof of ...
The aim of this work is to use contemporary notation to build theory of Rosser logic, explain in detail its relation to Peano arithmetic, show its Kripke semantics and finally using plural self-reference show the proof of ...
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 ...
Systémy morfismů nad Gödelovou fuzzy logikou
Systémy morfismů nad Gödelovou fuzzy logikou
Diplomová práce (OBHÁJENO)
Vedoucí práce: Běhounek, Libor
Datum publikování: 2014
Datum obhajoby: 17. 09. 2014
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: V práci jsou zavedeny některé velice základní pojmy teorie kategorií budované nad prvořádovou Gödelovou fuzzy logikou (s ostrou rovností a delta operá- torem). Fuzzy varianta klasického pojmu kategorie je uvážena. Následně ...
This work introduces some very basic concepts of category theory as built up over first-order predicate Gödel fuzzy logic (with crisp identity and the delta operator). A fuzzy variation of a classical concept of a category ...
This work introduces some very basic concepts of category theory as built up over first-order predicate Gödel fuzzy logic (with crisp identity and the delta operator). A fuzzy variation of a classical concept of a category ...
Combinatorics of filters on the natural numbers
Kombinatorika filtrů na přirozených číslech
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Verner, Jonathan
Datum publikování: 2018
Datum obhajoby: 20. 09. 2018
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce se věnuje kombinatorickým vlastnostem filtrů na přirozených číslech. Obsahuje úvod do problematiky definovatelnosti filtrů a jejich kombinatoriky, definice základních typů filrů: P-filtr, Q-filtr, Rapid filtr; ...
The work is devoted to combinatorial properties of filters on natural num- bers as an introduction and motivation to the definability of the filters and its combinatorics. The work contains definitions of basic filter ...
The work is devoted to combinatorial properties of filters on natural num- bers as an introduction and motivation to the definability of the filters and its combinatorics. The work contains definitions of basic filter ...
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 ...
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 ...
Reflection principles and large cardinals
Principi reflexe a velké kardinály
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2016
Datum obhajoby: 14. 09. 2016
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce zkoumá vztah tzv. principů reflexe a velkých kardinálů. Lévy ukázal, že v ZFC platí tzv. věta o reflexi a dokonce, že věta o reflexi je ekviva- lentní schématu nahrazení a axiomu nekonečna nad teorií ZFC bez axiomu ...
This thesis aims to examine the relation between the so called Reflection Principles and Large Cardinals. Lévy has shown that the Reflection Theorem is a sound theorem of ZFC and it is equivalent to the Replacement Schema ...
This thesis aims to examine the relation between the so called Reflection Principles and Large Cardinals. Lévy has shown that the Reflection Theorem is a sound theorem of ZFC and it is equivalent to the Replacement Schema ...