Abstract
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.
Citation
Tom Skura. "Maximality and Refutability." Notre Dame J. Formal Logic 45 (2) 65 - 72, 2004. https://doi.org/10.1305/ndjfl/1095386644
Information