Relevant logic and paraconsistency

Simple item page
dc.contributor.authorSlaney, John K
dc.date.accessioned2015-12-13T23:10:08Z
dc.date.available2015-12-13T23:10:08Z
dc.date.issued2004
dc.date.updated2015-12-12T08:22:32Z
dc.description.abstractThis 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.
dc.identifier.isbn3540242600
dc.identifier.urihttp://hdl.handle.net/1885/87319
dc.publisherSpringer
dc.relation.ispartofInconsistency Tolerance
dc.relation.isversionof1st Edition
dc.subjectKeywords: Artificial intelligence; Disjunctive syllogism; Satisfactory theory; Formal logic
dc.titleRelevant logic and paraconsistency
dc.typeBook chapter
local.bibliographicCitation.lastpage293
local.bibliographicCitation.placeofpublicationHeidelberg, Germany
local.bibliographicCitation.startpage270
local.contributor.affiliationSlaney, John K, College of Engineering and Computer Science, ANU
local.contributor.authoremailu8800435@anu.edu.au
local.contributor.authoruidSlaney, John K, u8800435
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.ariespublicationMigratedxPub16556
local.identifier.scopusID2-s2.0-36849075716
local.identifier.uidSubmittedByMigrated
local.type.statusPublished Version

Downloads

Collections

ANU Research Publications

DSpace software copyright © 2002-2024 LYRASIS