Marta Bílková

  1. Bílková Marta, Cintula Petr, Lávička Tomáš :  Lindenbaum and Pair Extension Lemma in Infinitary Logics , Logic, Language, Information and Computation, p. 130-144 , Eds: Moss L. S., de Queiroz R., Martinez M., WoLLIC 2018. International Workshop on Logic, Language, Information and Computation /25./, (Bogotá, CO, 20180724) [2018] DOI: 10.1007/978-3-662-57669-4_7
  2. Bílková Marta, Cintula Petr, Haniková Zuzana, Horčík R., Kroupa T., Lávička Tomáš, Majer Ondrej, Moraschini Tommaso, Noguera Carles, Přenosil Adam, Sedlár Igor, Vidal Amanda :  TACL 2017: Topology, Algebra and Categories in Logic, (Prague, CZ, 20170626) [2017] Download
  3. Bílková Marta, Cintula Petr, Lávička Tomáš :  Lindenbaum-style proof of completeness for infinitary logics , ISRALOG'17 Abstract Booklet, p. 28-31, ISRALOG 2017. Israeli Workshop on Non-Classical Logics and Their Applications /3./, (Haifa, IL, 15.10.2017-17.10.2017) [2017]