Hledat
Zobrazují se záznamy 31-40 z 109
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 ...
Logika dokazatelnosti a její filozofická reflexe
Logic of provability from the philosophical point of view
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2008
Datum obhajoby: 29. 09. 2008
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: V matematické části je zpracováno téma autoreference v aritmetice. Při úvahách i důkazech je užit vyšší programovací jazyk, což umožňuje dospět ke známým výsledkům Gödela, Rossera a Löba přirozeným způsobem. V závěru je ...
The mathematical part of this thesis studies the phenomenon of self-reference in arithmetics. A higher programming language is used to present ideas and proofs, enabling us to reach the known results of Gödel, Rosser and ...
The mathematical part of this thesis studies the phenomenon of self-reference in arithmetics. A higher programming language is used to present ideas and proofs, enabling us to reach the known results of Gödel, Rosser and ...
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
Pojem interpretace axiomatických teorií
The notion of interpretation between axiomatic theories
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2023
Datum obhajoby: 13. 09. 2023
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Thesis: The Notion of Interpretation between Axiomatic Theories Author: Jan Štefanišin Abstract: In this thesis we are researching the concept of intepretability between axiomatic theories and its basic properties and its ...
Práce: Pojem interpretace axiomatických teorií Autor: Jan Štefanišin Abstrakt: V této práci se zabýváme konceptem interpretovatelnosti axiomatic- kých teorií (interpretovaní jedné teorie v druhé) a jeho základními vlastnostmi ...
Práce: Pojem interpretace axiomatických teorií Autor: Jan Štefanišin Abstrakt: V této práci se zabýváme konceptem interpretovatelnosti axiomatic- kých teorií (interpretovaní jedné teorie v druhé) a jeho základními vlastnostmi ...
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 ...
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 ...