dc.contributor.advisor | Švejdar, Vítězslav | |
dc.creator | Blicha, Martin | |
dc.date.accessioned | 2017-04-27T13:02:32Z | |
dc.date.available | 2017-04-27T13:02:32Z | |
dc.date.issued | 2010 | |
dc.identifier.uri | http://hdl.handle.net/20.500.11956/36359 | |
dc.description.abstract | V predloženej práci študujeme implikačné fragmenty intuicionistickej výrokovej logiky s konečným počtom atómov. V prvej časti sa podrobnejšie venujeme fragmentu s dvomi atómami, ktorý je dostatočne jednoduchý, aby v ňom bolo možné sledovať vzťahy medzi formulami, zároveň ale nie je príliš triviálny. V ďalšej časti zavádzame pojmy principálny vrchol a principálny model, ktoré nám umožnia skúmať aj ďalšie fragmenty. V poslednej časti zisťujeme, ako sa zmenia výsledky, ak si do jazyka pridáme konštantu . | cs_CZ |
dc.description.abstract | In this thesis we study implicational fragments of intuitionistic propositional logic with finite number of atoms. The first part is dedicated to the fragment with only two atoms, which is simple enough to analyze the relations between it's formulas, but is not that trivial. In the next part, we introduce the terms prime node and prime model, which allow us to examine other fragments. In the last part, we find out how the results change when we add the constant into out language. | en_US |
dc.language | Čeština | cs_CZ |
dc.language.iso | cs_CZ | |
dc.publisher | Univerzita Karlova, Filozofická fakulta | cs_CZ |
dc.title | Implikační fragmenty intuicionistické výrokové logiky | cs_CZ |
dc.type | bakalářská práce | cs_CZ |
dcterms.created | 2010 | |
dcterms.dateAccepted | 2010-09-17 | |
dc.description.department | Department of Logic | en_US |
dc.description.department | Katedra logiky | cs_CZ |
dc.description.faculty | Faculty of Arts | en_US |
dc.description.faculty | Filozofická fakulta | cs_CZ |
dc.identifier.repId | 91919 | |
dc.title.translated | Implicational fragments of intuitionistic propositional logic | en_US |
dc.contributor.referee | Chvalovský, Karel | |
dc.identifier.aleph | 001368406 | |
thesis.degree.name | Bc. | |
thesis.degree.level | bakalářské | cs_CZ |
thesis.degree.discipline | Logic | en_US |
thesis.degree.discipline | Logika | cs_CZ |
thesis.degree.program | Logic | en_US |
thesis.degree.program | Logika | cs_CZ |
uk.thesis.type | bakalářská práce | cs_CZ |
uk.taxonomy.organization-cs | Filozofická fakulta::Katedra logiky | cs_CZ |
uk.taxonomy.organization-en | Faculty of Arts::Department of Logic | en_US |
uk.faculty-name.cs | Filozofická fakulta | cs_CZ |
uk.faculty-name.en | Faculty of Arts | en_US |
uk.faculty-abbr.cs | FF | cs_CZ |
uk.degree-discipline.cs | Logika | cs_CZ |
uk.degree-discipline.en | Logic | en_US |
uk.degree-program.cs | Logika | cs_CZ |
uk.degree-program.en | Logic | en_US |
thesis.grade.cs | Výborně | cs_CZ |
thesis.grade.en | Excellent | en_US |
uk.abstract.cs | V predloženej práci študujeme implikačné fragmenty intuicionistickej výrokovej logiky s konečným počtom atómov. V prvej časti sa podrobnejšie venujeme fragmentu s dvomi atómami, ktorý je dostatočne jednoduchý, aby v ňom bolo možné sledovať vzťahy medzi formulami, zároveň ale nie je príliš triviálny. V ďalšej časti zavádzame pojmy principálny vrchol a principálny model, ktoré nám umožnia skúmať aj ďalšie fragmenty. V poslednej časti zisťujeme, ako sa zmenia výsledky, ak si do jazyka pridáme konštantu . | cs_CZ |
uk.abstract.en | In this thesis we study implicational fragments of intuitionistic propositional logic with finite number of atoms. The first part is dedicated to the fragment with only two atoms, which is simple enough to analyze the relations between it's formulas, but is not that trivial. In the next part, we introduce the terms prime node and prime model, which allow us to examine other fragments. In the last part, we find out how the results change when we add the constant into out language. | en_US |
uk.publication.place | Praha | cs_CZ |
uk.grantor | Univerzita Karlova, Filozofická fakulta, Katedra logiky | cs_CZ |
dc.identifier.lisID | 990013684060106986 | |