Výsledky vyhledávání

Nalezeno záznamů: 2  
Váš dotaz: Předmět (klíč.slova) = "infinitary logic"
    1.
    0491981 - ÚI 2019 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    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]
    Grant CEP: GA ČR GA17-04630S; GA ČR(CZ) GC16-07954J
    Grant ostatní: AV ČR(CZ) JSPS-16-08
    Program: Bilaterální spolupráce
    Institucionální podpora: RVO:67985807 ; RVO:67985556
    Klíčová slova: Lindenbaum lemma * Pair extension lemma * Infinitary logic * Infinitary deduction rule * Strong disjunction * Prime theory
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
    Trvalý link: http://hdl.handle.net/11104/0285566
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0491981prep.pdf4388.6 KBAutorský postprintpovolen
    a0491981.pdf9319.1 KBVydavatelský postprintvyžádat
     
     
    2.
    0476964 - MÚ 2018 US eng J - Článek v odborném periodiku
    Ben Yaacov, I. - Doucha, Michal - Nies, A. - Tsankov, T.
    Metric Scott analysis.
    Advances in Mathematics. Roč. 318, October (2017), s. 46-87. ISSN 0001-8708. E-ISSN 1090-2082
    Institucionální podpora: RVO:67985840
    Klíčová slova: continuous logic * infinitary logic * Scott sentence
    Obor OECD: Pure mathematics
    Impakt faktor: 1.372, rok: 2017
    http://www.sciencedirect.com/science/article/pii/S0001870816309896?via%3Dihub
    Trvalý link: http://hdl.handle.net/11104/0273370
    Název souboruStaženoVelikostKomentářVerzePřístup
    Doucha1.pdf1618.7 KBVydavatelský postprintvyžádat
     
     


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

Přijmout všeNastaveníOdmítnout vše