velikost textu
Výsledky projektu Automatické dokazování a neklasické logiky
Výsledky
  Typ výsledku
Autor celku
Název celku(Celkem 7 zázn.)
|
|---|
| Chvalovský, Karel, Provability in Hilbert-style calculi for non-classical logics and ATP, In Young Research Forum. Brno, 2010. S. 11-11. ISBN 978-80-87342-09-1. [Jiný výsledek] |
| Chvalovský, Karel, Non-Equivalence of Some Implicational Deduction Theorems. In Doktorandske dny '10. Praha : Ustav informatiky AV CR, v. v. i. & MATFYZPRESS, 2010. S. 49-55. ISBN 978-80-7378-133-0. [Jiný výsledek] |
| Chvalovský, Karel, Independence of axioms in non-classical logics and automated theorem proving, In Tenth International Conference on Fuzzy Sets Theory and Applications. Liptovsky Mikulas : Armed Forces Academy of General Milan Rastislav Stefanik, 2010. S. 45-45. ISBN 978-80-8040-391-1. [Jiný výsledek] |
| Chvalovský, Karel a Cintula, Petr, Note on Deduction Theorems in Contraction-Free Logics, vyjde v EasyChair Proceedings. [Jiný výsledek] |
| Chvalovský, Karel, On the Independence of Axioms in BL and MTL, zasláno do Fuzzy Set and Systems. [Jiný výsledek] |
| Chvalovský, Karel, Independence of Axioms in Non-Classical Logics and ATP. Mathematical Theory and Computational Practice. Abstract Booklet. Heidelberg : University of Heidelberg, 2009 - (Ambos-Spies, K.; Löwe, B.; Merkle, W.) S. 324-324. [Jiný výsledek] |
| Chvalovský, Karel, Syntactic Approach to Fuzzy Modal Logics in MTL, Doktorandské dny '09. Praha : Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2009, 35-43. ISBN 978-80-7378-087-6. [Jiný výsledek] |