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