Search results

  1. 1.
    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
    FileDownloadSizeCommentaryVersionAccess
    a0491981prep.pdf4388.6 KBAuthor’s postprintopen-access
    a0491981.pdf9319.1 KBPublisher’s postprintrequire
     
     


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.