Logics with disjunction and proof by cases

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. The work of the first author was supported by the National Foundation of Natural Sciences of China (Grant no. 60663002) and by the Grant Project of science and technology of The Education Department of Jiangxi Province under Grant no. 200618. The work of the second author was supported by grant A100300503 of the Grant Agency of the Academy of Sciences of the Czech Republic and by Institutional Research Plan AVOZ10300504.