Home > Search Results: Blicha, Martin
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 11 records found  previous11 - 11  jump to record: Search took 0.00 seconds. 
Implicational fragments of intuitionistic propositional logic
 Blicha, Martin ; Švejdar, Vítězslav (advisor) ; Chvalovský, Karel (referee)
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.
Detailed record

National Repository of Grey Literature : 11 records found   previous11 - 11  jump to record:
Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English