Počet záznamů: 1  

A new hierarchy of infinitary logics in abstract algebraic logic

  1. 1.
    SYSNO0469118
    NázevA new hierarchy of infinitary logics in abstract algebraic logic
    Tvůrce(i) Lávička, Tomáš (UIVT-O)
    Noguera, Carles (UTIA-B) [MTR] RID, ORCID
    Korespondující/seniorNoguera, Carles - Korespondující autor
    Zdroj.dok. Studia Logica. Roč. 105, č. 3 (2017), s. 521-551. - : Springer
    Druh dok.Článek v odborném periodiku
    Grant GA13-14654S GA ČR - Grantová agentura ČR
    689176, XE - země EU
    Institucionální podporaUTIA-B - RVO:67985556 ; UIVT-O - RVO:67985807
    Jazyk dok.eng
    Země vyd.NL
    Klíč.slova Abstract algebraic logic * consequence relations * infinitary logics * completeness properties
    URL http://library.utia.cas.cz/separaty/2017/MTR/noguera-0469118.pdf
    Trvalý linkhttp://hdl.handle.net/11104/0269760
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.