Lindenbaum-style proof of completeness for infinitary logics

Bibliografické údaje

Autoři

• Mgr. Marta Bílková, Ph.D.
• doc. Ing. Petr Cintula, Ph.D. DSc.

Rok vydání

2017

Typ publikace

Abstrakt

Periodikum

ISRALOG'17 Abstract Booklet

Bibliografická citace

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.

ID

480185