The RM paraconsistent refutation system

Tomasz Skura



The aim of this paper is to study the refutation system consisting of the refutation axiom p ∧ ¬p → q and the refutation rules: reverse substitution and reverse modus ponens (B/A, if A → B ∈ RM). It is shown that the refutation system is characteristic for the logic of the 3-element RM algebra.


refutation systems; paraconsistent logic; relevance logic

Full Text:



Dunn, J.M., “Algebraic completeness results for R-Mingle and its extensions”, Journal of Symbolic Logic 35 (1970): 1–13.

Łukasiewicz, J., Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic, Oxford, 1951.

Skura, T., “Maximality and refutability”, Notre Dame Journal of Formal Logic 45 (2004): 65–72.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism