Slaney, John K2015-12-132015-12-133540242600http://hdl.handle.net/1885/87319This 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.Keywords: Artificial intelligence; Disjunctive syllogism; Satisfactory theory; Formal logic20042015-12-12