0491981 - ÚI 2019 RIV DE eng C - Conference Paper (international conference)
Bílková, Marta - Cintula, Petr - Lávička, TomášLindenbaum and Pair Extension Lemma in Infinitary Logics.
Logic, Language, Information and Computation. Berlin: Springer, 2018 - (Moss, L.; de Queiroz, R.; Martinez, M.), s. 130-144. Lecture Notes on Computer Science, 10944. ISBN 978-3-662-57668-7. ISSN 0302-9743.
[WoLLIC 2018. International Workshop on Logic, Language, Information and Computation /25./. Bogotá (CO), 24.07.2018-27.07.2018]
R&D Projects: GA ČR GA17-04630S; GA ČR(CZ) GC16-07954J
Grant - others:AV ČR(CZ) JSPS-16-08
Program: Bilaterální spolupráce
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : Lindenbaum lemma * Pair extension lemma * Infinitary logic * Infinitary deduction rule * Strong disjunction * Prime theory
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Permanent Link: http://hdl.handle.net/11104/0285566