Relevant logic and paraconsistency
Date
2004
Authors
Slaney, John K
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
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.
Description
Keywords
Keywords: Artificial intelligence; Disjunctive syllogism; Satisfactory theory; Formal logic
Citation
Collections
Source
Type
Book chapter
Book Title
Inconsistency Tolerance