San-min Wang Petr Cintula Logics with disjunction and proof by cases. 435-446 2008 47 Arch. Math. Log. 5 http://dx.doi.org/10.1007/s00153-008-0088-0 db/journals/aml/aml47.html#WangC08