Ústav teorie informace a automatizace

Jste zde

Domů

Bibliografie

Tomáš Lávička

  1. Lávička Tomáš, Noguera Carles :  Extension Properties and Subdirect Representation in Abstract Algebraic Logic , Studia Logica vol.106, 6 (2018), p. 1065-1095 [2018] Download DOI: 10.1007/s11225-017-9771-7

  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. Lávička Tomáš, Přenosil Adam :  Protonegationality and inconsistency lemmas: part II , ManyVal 2017. Booklet of Abstracts, p. 58-60, ManyVal 2017, (Toulouse, FR, 15.11.2017-17.11.2017) [2017]
  4. Lávička Tomáš, Přenosil Adam :  Protonegationality and inconsistency lemmas: part I , ManyVal 2017. Booklet of Abstracts, p. 55-57, ManyVal 2017, (Toulouse, FR, 15.11.2017-17.11.2017) [2017]
  5. Lávička Tomáš, Přenosil Adam :  Towards 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]
  6. 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
Institute of Information Theory and Automation