Ústav teorie informace a automatizace

Jste zde

Bibliografie

Tomáš Lávička

  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. Lávička Tomáš, Přenosil AdamProtonegationality and inconsistency lemmas: part II , ManyVal 2017. Booklet of Abstracts, p. 58-60, ManyVal 2017, (Toulouse, FR, 15.11.2017-17.11.2017) [2017]
  3. Lávička Tomáš, Přenosil AdamProtonegationality and inconsistency lemmas: part I , ManyVal 2017. Booklet of Abstracts, p. 55-57, ManyVal 2017, (Toulouse, FR, 15.11.2017-17.11.2017) [2017]
  4. Lávička Tomáš, Přenosil AdamTowards completeness of some lattice-valued modal logics , ISRALOG'17 Abstract Booklet, p. 104-107, ISRALOG 2017. Israeli Workshop on Non-Classical Logics and Their Applications /3./, (Haifa, IL, 15.10.2017-17.10.2017) [2017]
  5. 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]
07.01.2019 - 08:39