The RM paraconsistent refutation system
DOI:
https://doi.org/10.12775/LLP.2009.005Słowa kluczowe
refutation systems, paraconsistent logic, relevance logicAbstrakt
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.Bibliografia
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.
Pobrania
Opublikowane
15.08.2009
Jak cytować
1.
SKURA, Tomasz. The RM paraconsistent refutation system. Logic and Logical Philosophy [online]. 15 sierpień 2009, T. 18, nr 1, s. 65–70. [udostępniono 25.7.2024]. DOI 10.12775/LLP.2009.005.
Numer
Dział
Artykuły
Statystyki
Liczba wyświetleń i pobrań: 292
Liczba cytowań: 0