Publications - Tomáš Lávička
Books and chapters (1)
|
1. * Petr Cintula, Carles Noguera, T. Lávička: Slabě implikativní logiky. Úvod do abstraktního studia výrokových logik. Univerzita Karlova, Filozofická fakulta, Praha 2015. |
Journal articles (2)
|
1. * Tomáš Lávička, Carles Noguera: Extension Properties and Subdirect Representation in Abstract Algebraic Logic. Studia Logica 106:6 (2018), 1065-1095. Springer. Download |
|
|
2. * Tomáš Lávička, Carles Noguera: A new hierarchy of infinitary logics in abstract algebraic logic. Studia Logica 105:3 (2017), 521-551. Springer. Download |
Conference papers (1)
|
1. * Marta Bílková, Petr Cintula, Tomáš Lávička: Lindenbaum and Pair Extension Lemma in Infinitary Logics. Logic, Language, Information and Computation, 130-144. Springer, Berlin 2018. |
Other publications (5)
|
1. * Marta Bílková, Petr Cintula, Tomáš Lávička: Lindenbaum-style proof of completeness for infinitary logics. ISRALOG'17 Abstract Booklet, 28-31. Faculty of Social Sciences, Haifa 2017. |
|
|
2. * 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. |
|
|
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. |
|
|
4. * 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. |
|
|
5. * Tomáš Lávička, Carles Noguera: A New Hierarchy of Infinitary Propositional Logics. LATD 2016 Book of Abstracts, 86-88. WITS University, Johannesburg 2016. |
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 |