In this paper we study symmetric inference systems (that is, pairs of inference systems) as refutation systems characterizing maximal logics with certain properties. In particular, the method is applied to paraconsistent logics, which are natural examples of such logics.
"Maximality and Refutability." Notre Dame J. Formal Logic 45 (2) 65 - 72, 2004. https://doi.org/10.1305/ndjfl/1095386644