## Selected papers on Paraconsistent Logics## John Slaney
Relevant Logic and Paraconsistency This is the abstract of the paper: John Slaney. 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.
This is the abstract of the paper: Robert Meyer and John Slaney. This paper expands on an earlier paper, "Abelian Logic (from A to Z)", by the same authors. The main result is that the Abelian logic A is rejection-complete; i.e., that each formula B is either a theorem of A or else leads in the style of Lukasiewicz to a proof of the variable p. Meredith's single axiom formulation is introduced for the implicational fragment of A and the finite model property proved. An interesting normal form is shown for A, using distribution laws not normally available to relevant logics.
This is the abstract of the paper: Greg Restall and John Slaney.
In this paper we consider the implications for belief revision of weakening
the logic under which belief sets are taken to be closed. A widely held view
is that the usual belief revision functions are highly classical, especially
in being driven by consistency. We show that, on the contrary, the standard
representation theorems still hold for paraconsistent belief revision. Then
we give conditions under which consistency is preserved by revisions, and we
show that this modelling allows for the
The Implications of Paraconsistency This is the abstract of the paper: John Slaney.
This is a connected series of arguments concerning paraconsistent logic. It is
argued first that paraconsistency is an option worth pursuing in automated
reasoning, then that the most popular paraconsistent logic,
RWX is not Curry Paraconsistent This is an abstract of the paper: John Slaney. It is shown that the naive comprehension axiom leads to triviality in the context of the logic RWX (relevant logic without contraction, plus the law of the excluded middle) given that an absurd constant can be defined. The version of the semantic and set-theoretic antinomies noted here is more damaging than the usual ones, in that it afflicts a contraction-free logic.
This is an abstract of the paper: Robert Meyer and John Slaney. We axiomatise and discuss Abelian logic: the logic which has as its models the lattice-ordered abelian groups. Although published in 1989, this work was presented to a meeting of the Australasian Association for Logic in 1979, and has existed in a technical report version since then.
Consistency of Propositional Comprehension This is an abstract of the paper: John Slaney.
This is a proof of the consistency of the continuum-valued logic of
Lukasiewicz with all the standard connectives plus propositional quantifiers
and a
Dr J K Slaney Phone (Aus.): (026) 125 8607 Theory Group Phone (Int.): +61 26 125 8607 Research School of Computer Science Fax (Aus.): (026) 125 8651 Australian National University Fax (Int.): +61 26 125 8651 Canberra, ACT, 0200, AUSTRALIA |