Basket

    1.
    0313648 - ÚI 2009 RIV DE eng J - Journal Article
    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
    R&D Projects: GA AV ČR IAA100300503
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : logics with disjunction * consequence relation * proof by cases property * intersections of logics * weakly implicative logics * weakly implicative fuzzy logics
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0164397
    FileDownloadSizeCommentaryVersionAccess
    0313648.pdf11677.5 KBAuthor´s preprintopen-access
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all