“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 teach philosophy and logic as Professor of Philosophy at the University of Melbourne. ¶ Start at the home page of this site—a compendium of recent additions around here—and go from there to learn more about who I am and what I do. ¶ This is my personal site on the web. Nothing here is in any way endorsed by the University of Melbourne.



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.