Lindenbaum-style proof of completeness for infinitary logics
Bibliographic details
Authors
Marta Bílková, Petr Cintula, Tomáš Lávička
Publication year
Publication type
Abstrakt
Periodical
ISRALOG'17 Abstract Booklet
Bibliographic citation
BÍLKOVÁ, Marta, CINTULA, Petr, LÁVIČKA, Tomáš. Lindenbaum-style proof of completeness for infinitary logics. In: ISRALOG'17 Abstract Booklet. Haifa: Faculty of Social Sciences, 2017, S. 28-31.
