Košík

    1.
    0361600 - ÚI 2012 FR eng A - Abstrakt
    Cintula, Petr - Noguera, C.
    Almost (MP)-based Substructural Logics.
    Topology, Algebra and Categories in Logic. Marseille, 2011. s. 107-110.
    [TACL 2011. Topology, Algebra and Categories in Logic /5./. 26.07.2011-30.07.2011, Marseilles]
    Grant CEP: GA MŠMT(CZ) 1M0545
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: nonassociative full Lambek calculus * deduction theorem
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0198882
    Název souboruStaženoVelikostKomentářVerzePřístup
    0361600.pdf0634.9 KBAutorský preprintpovolen
     
     

  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