Relevant logic and paraconsistency

John Slaney

Relevant logic and paraconsistency

John Slaney^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

20 Citations (Scopus)

Abstract

This is an account of the approach to paraconsistency associated with relevant logic. The logic fde of first degree entailments is shown to arise naturally out of the deeper concerns of relevant logic. The relationship between relevant logic and resolution, and especially the disjunctive syllogism, is then examined. The relevant refusal to validate these inferences is defended, and finally it is suggested that more needs to be done towards a satisfactory theory of when they may nonetheless safely be used.

Original language	English
Title of host publication	Inconsistency Tolerance
Editors	Leopoldo Bertossi, Anthony Hunter, Torsten Schaub
Pages	270-293
Number of pages	24
Publication status	Published - 2004

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3300 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Cite this

@inproceedings{afd96942571f461eaef8d2776167c6e2,

title = "Relevant logic and paraconsistency",

abstract = "This is an account of the approach to paraconsistency associated with relevant logic. The logic fde of first degree entailments is shown to arise naturally out of the deeper concerns of relevant logic. The relationship between relevant logic and resolution, and especially the disjunctive syllogism, is then examined. The relevant refusal to validate these inferences is defended, and finally it is suggested that more needs to be done towards a satisfactory theory of when they may nonetheless safely be used.",

author = "John Slaney",

year = "2004",

language = "English",

isbn = "3540242600",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "270--293",

editor = "Leopoldo Bertossi and Anthony Hunter and Torsten Schaub",

booktitle = "Inconsistency Tolerance",

}

Relevant logic and paraconsistency. / Slaney, John.
Inconsistency Tolerance. ed. / Leopoldo Bertossi; Anthony Hunter; Torsten Schaub. 2004. p. 270-293 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3300 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

TY - GEN

T1 - Relevant logic and paraconsistency

AU - Slaney, John

PY - 2004

Y1 - 2004

N2 - This is an account of the approach to paraconsistency associated with relevant logic. The logic fde of first degree entailments is shown to arise naturally out of the deeper concerns of relevant logic. The relationship between relevant logic and resolution, and especially the disjunctive syllogism, is then examined. The relevant refusal to validate these inferences is defended, and finally it is suggested that more needs to be done towards a satisfactory theory of when they may nonetheless safely be used.

AB - This is an account of the approach to paraconsistency associated with relevant logic. The logic fde of first degree entailments is shown to arise naturally out of the deeper concerns of relevant logic. The relationship between relevant logic and resolution, and especially the disjunctive syllogism, is then examined. The relevant refusal to validate these inferences is defended, and finally it is suggested that more needs to be done towards a satisfactory theory of when they may nonetheless safely be used.

UR - https://www.scopus.com/pages/publications/36849075716

M3 - Conference Paper

SN - 3540242600

SN - 9783540242604

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 270

EP - 293

BT - Inconsistency Tolerance

A2 - Bertossi, Leopoldo

A2 - Hunter, Anthony

A2 - Schaub, Torsten

ER -

Relevant logic and paraconsistency

Abstract

Publication series

Other files and links

Fingerprint

Cite this