Počet záznamů: 1  

Logics with Disjunction and Proof by Cases

  1. 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

    This paper is a contribution to the general study of consequence relations which contain (definable) connective of "disjunction". Our work is centered around the "proof by cases property", we present several of its equivalent definitions, and show some interesting applications, namely in constructing axiomatic systems for intersections of logics and recognizing weakly implicative fuzzy logics among the weakly implicative ones.

    Tento článek přispívá obecnému poznání relací důsledků, které obsahují (definovatelnou) disjunkci. Práce je centrována kolem vlastnosti "důkazu po případech", ukážeme několik ekvivalentních definic této vlastnosti a její zajímavé aplikace, zejména při popisu axiomatických systémů průniku logik a identifikaci fuzzy logik v třídě slabě implikačních logik.
    Trvalý link: http://hdl.handle.net/11104/0164397

     
    Název souboruStaženoVelikostKomentářVerzePřístup
    0313648.pdf11677.5 KBAutorský preprintpovolen
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.