The RM paraconsistent refutation system

Logic and Logical Philosophy 18 (1):65-70 (2009)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.12775/llp.2009.005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On Refutation Rules.Tomasz Skura - 2011 - Logica Universalis 5 (2):249-254.
A refutation theory.Tomasz Skura - 2009 - Logica Universalis 3 (2):293-302.
Refutation Systems for a System of Nonsense-Logic.Robert Sochacki - 2011 - Logic and Logical Philosophy 20 (3):233-239.
Refutations, proofs, and models in the modal logic K.Tomasz Skura - 2002 - Studia Logica 70 (2):193 - 204.
Self-Refutation - (L.) Castagnoli Ancient Self-refutation. The Logic and History of the Self-refutation Argument from Democritus to Augustine. Pp. xx + 394, ills. Cambridge: Cambridge University Press, 2010. Cased, £60. ISBN: 978-0-521-89631-3. [REVIEW]Vasilis Politis - 2012 - The Classical Review 62 (1):86-88.
Thoroughly Relativistic Perspectives.Mark Ressler - 2012 - Notre Dame Journal of Formal Logic 53 (1):89-112.
Paraconsistency Everywhere.Greg Restall - 2002 - Notre Dame Journal of Formal Logic 43 (3):147-156.
A łukasiewicz-style refutation system for the modal logic S.Tomasz Skura - 1995 - Journal of Philosophical Logic 24 (6):573 - 582.
Negation As Refutation.Melvin Fitting - unknown
Maximality and Refutability.Tom Skura - 2004 - Notre Dame Journal of Formal Logic 45 (2):65-72.
Paraconsistent logic! (A reply to Slater) Jean-Yves BéziauFoot note 1_.Blaise Pascal - unknown
Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
Ancient Self-refutation: The Logic and History of the Self-refutation Argument from Democritus to Augustine, by Luca Castagnoli.J. Barnes - 2012 - Mind 121 (482):478-485.
Luca Castagnoli. Ancient Self-Refutation: The Logic and History of the Self-Refutation Argument from Democritus to Augustine. [REVIEW]Mary Katrina Krizan - 2011 - Augustinian Studies 42 (2):316-319.

Analytics

Added to PP
2013-11-24

Downloads
29 (#536,973)

6 months
10 (#251,846)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Maximality and Refutability.Tom Skura - 2004 - Notre Dame Journal of Formal Logic 45 (2):65-72.

Add more references