Košík

    1.
    0431685 - ÚI 2015 AT eng A - Abstrakt
    Běhounek, Libor
    Church-style type theories over finitary weakly implicative logics.
    Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 131-133
    [LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna]
    Grant CEP: GA MŠMT ED1.1.00/02.0070
    Grant ostatní: GA MŠk EE2.3.30.0010
    Institucionální podpora: RVO:67985807
    Klíčová slova: type theory * higher-order logic * weakly implicative logics * teorie typů * logika vyššího řádu * slabě implikační logiky
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0236270
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0431685.pdf0440.4 KBVydavatelský postprintpovolen
     
     

  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