ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "independent work"
independent work
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
Mgr. Karel Chvalovský Ph.D.
Externí akademický pracovník na Filozofická fakulta
11 publikací
Publikace
publication
Independence of Axioms in Non-Classical Logics and ATP
2009 |
Filozofická fakulta
publication
On the Independence of Axioms in BL and MTL
+1
2008 |
Filozofická fakulta
publication
Nezávislost axiomů v neklasických logikách a automatické dokazování vět
Publikace bez příslušnosti k fakultě
publication
Note on D-completeness and prelinearity
2013 |
Filozofická fakulta
publication
Notes on Condensed Detachment
2011 |
Filozofická fakulta
publication
Neekvivalence některých implikačních dedukčních vět
2010 |
Filozofická fakulta
publication
Syntactic Approach to Fuzzy Modal Logic in MTL
2009 |
Filozofická fakulta
publication
Derivační složitost {aa-->bc, bb-->ac, cc-->ab}
+1
2009 |
Filozofická fakulta
publication
Dokazatelnost v hilbertovských kalkulech pro neklasické logiky a ATP
Publikace bez příslušnosti k fakultě
Načíst další publikace (1)
Loading network view...