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