Abstract
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. © 2011 The Author(s).
Author supplied keywords
Cite
CITATION STYLE
APA
Skura, T. (2011). On Refutation Rules. Logica Universalis, 5(2), 249–254. https://doi.org/10.1007/s11787-011-0035-4
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free