Košík

    1.
    0313648 - ÚI 2009 RIV DE eng J - Článek v odborném periodiku
    Wang, S.M. - Cintula, Petr
    Logics with Disjunction and Proof by Cases.
    [Logiky s disjunkcí a důkaz po případech.]
    Archive for Mathematical Logic. Roč. 47, č. 5 (2008), s. 435-446. ISSN 0933-5846. E-ISSN 1432-0665
    Grant CEP: GA AV ČR IAA100300503
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: logics with disjunction * consequence relation * proof by cases property * intersections of logics * weakly implicative logics * weakly implicative fuzzy logics
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0164397
    Název souboruStaženoVelikostKomentářVerzePřístup
    0313648.pdf11677.5 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