Publications - Marta Bílková
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 (1)
|
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. |
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 |