Publications - Adam Přenosil
Other publications (3)
|
1. * Tomáš Lávička, Adam Přenosil: Protonegationality and inconsistency lemmas: part II. ManyVal 2017. Booklet of Abstracts, 58-60. Institut de Mathematiques, Toulouse 2017. |
|
|
2. * Tomáš Lávička, Adam Přenosil: Protonegationality and inconsistency lemmas: part I. ManyVal 2017. Booklet of Abstracts, 55-57. Institut de Mathematiques, Toulouse 2017. |
|
|
3. * Tomáš Lávička, Adam Přenosil: Towards completeness of some lattice-valued modal logics. ISRALOG'17 Abstract Booklet, 104-107. Faculty of Social Sciences, Haifa 2017. |
Miscellaneous (1)
|
1. * Marta Bílková, Petr Cintula, Zuzana Haniková, R. Horčík, T. Kroupa, Tomáš Lávička, Ondrej Majer, Tommaso Moraschini, Carles Noguera, Adam Přenosil, Igor Sedlár, Amanda Vidal: TACL 2017: Topology, Algebra and Categories in Logic. Download |