By a refutation system N we mean an inference system consisting of refutation axioms and refutation rules. Refutation axioms are non-valid formulas, and refutation rules are rules preserving non-validity.
CITATION STYLE
Skura, T. (2011). Refutation Systems in Propositional Logic. In Handbook of Philosophical Logic (pp. 115–157). Springer Netherlands. https://doi.org/10.1007/978-94-007-0479-4_2
Mendeley helps you to discover research relevant for your work.