Košík

    1.
    0428704 - ÚI 2015 RIV US eng J - Článek v odborném periodiku
    Cintula, Petr - Noguera, Carles
    A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics.
    Journal of Symbolic Logic. Roč. 80, č. 1 (2015), s. 341-358. ISSN 0022-4812. E-ISSN 1943-5886
    Grant CEP: GA ČR GA13-14654S
    GRANT EU: European Commission(XE) 247584 - MATOMUVI
    Institucionální podpora: RVO:67985807 ; RVO:67985556
    Klíčová slova: abstract algebraic logics * algebraizable logics * first-order logics * completeness theorem * Henkin theories
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.510, rok: 2015
    Trvalý link: http://hdl.handle.net/11104/0234002
    Název souboruStaženoVelikostKomentářVerzePřístup
    0428704.pdf55992 KBAutorský preprintpovolen
    a0428704.pdf10379.6 KBUTIA-UI-Hodnocení AV 2020Vydavatelský 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