%0 Journal Article %A Wang, San-min %A Cintula, Petr %D 2008 %I Springer %J Archive for Mathematical Logic %N 5 %P 435-446 %T Logics with disjunction and proof by cases %V 47