Abstract

Lindenbaum-style proof of completeness for infinitary logics

Bílková Marta, Cintula Petr, Lávička Tomáš

: 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)

: BA