Publikace
- Neekvivalence některých implikačních dedukčních vět2010 | Filozofická fakulta
- Nezávislost axiomů v neklasických logikách a automatické dokazování větPublikace bez příslušnosti k fakultě
- Dokazatelnost v hilbertovských kalkulech pro neklasické logiky a ATPPublikace bez příslušnosti k fakultě
- Note on D-completeness and prelinearity2013 | Filozofická fakulta
- Notes on Condensed Detachment2011 | Filozofická fakulta
- Independence of Axioms in Non-Classical Logics and ATP2009 | Filozofická fakulta
- Syntactic Approach to Fuzzy Modal Logic in MTL2009 | Filozofická fakulta
- Derivační složitost {aa-->bc, bb-->ac, cc-->ab} +12009 | Filozofická fakulta
- On the Independence of Axioms in BL and MTL +12008 | Filozofická fakulta
Loading network view...