Vytisknout
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
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