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: 93,127

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

Refutation Systems for a System of Nonsense-Logic.Robert Sochacki - 2011 - Logic and Logical Philosophy 20 (3):233-239.
Admissibility and refutation: some characterisations of intermediate logics.Jeroen P. Goudsmit - 2014 - Archive for Mathematical Logic 53 (7-8):779-808.
Syntactic Refutations against Finite Models in Modal Logic.Tomasz Skura - 1994 - Notre Dame Journal of Formal Logic 35 (4):595-605.
On Refutation Rules.Tomasz Skura - 2011 - Logica Universalis 5 (2):249-254.
Some Aspects Of Refutation Rules.Tomasz Skura - 1995 - Reports on Mathematical Logic:109-116.
A łukasiewicz-style refutation system for the modal logic S.Tomasz Skura - 1995 - Journal of Philosophical Logic 24 (6):573 - 582.
The logic of relative systems.M. R. Ressler - 2009 - Dissertation, University of Melbourne
The Province of Logic.Charles Sayward - 1975 - Analysis 36 (1):47-48.
Ancient Self-Refutation: The Logic and History of the Self-Refutation Argument From Democritus to Augustine.Luca Castagnoli - 2010 - New York: Cambridge University Press.
Refutation systems in modal logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.

Analytics

Added to PP
2013-11-24

Downloads
30 (#550,897)

6 months
11 (#272,000)

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