On Refutation Rules
Tomasz Skura · Logica Universalis · 2011
The goal of this paper is to generalize specific techniques connected with refutation rules involving certain normal forms. In particular, a method of axiomatizing both a logic L and its complement − L is introduced.