“Defining Double Negation Elimination,” Logic Journal of the IGPL, 8 (2000) 853–860.

 download pdf

In his paper “Generalised Ortho Negation” J. Michael Dunn mentions a claim of mine to the effect that there is no condition on `perp frames’ equivalent to the holding of double negation elimination (from ~~A to infer A). That claim of mine was wrong. In this paper I correct my error and analyse the behaviour of conditions on frames for negations which verify a number of different theses. (Ed Mares has pointed out that there’s some overlap between this paper and his earlier “A Star-Free Semantics for R” (JSL 1995), which I’d read long before writing this one. The particular modelling condition for DNE is still original to me, however.)

Do you like this, or do you have a comment? Then please  share or reply on Twitter, or  email me.

← An Introduction to Substructural Logics | Writing Archive | Logical Pluralism →


I’m Greg Restall, and this is my personal website. ¶ I am the Shelby Cullom Davis Professor of Philosophy at the University of St Andrews.



To receive updates from this site, you can subscribe to the  RSS feed of all updates to the site in an RSS feed reader, or follow me on Twitter at  @consequently, where I’ll update you if anything is posted.