Institute of Information Theory and Automation

You are here

Bibliography

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, 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]
2019-01-07 08:39