Location of Repository

Defining Double Negation Elimination

By Greg Restall


In his paper \Generalised Ortho Negation" [2] J. Michael Dunn mentions a claim of mine to the eect that there is no condition on `perp frames' equivalent to the holding of double negation elimination A ` A. That claim is wrong. In this paper I correct my error and analyse the behaviour of conditions on frames for negations which verify a number of dierent theses. 1 1 Compatibility Frames Dunn's work on general models for negation has been a signicant advance in our understanding of negation in non-classical logics [1, 2]. These models generalise Kripke models for intuitionistic logic and Routley{Meyer models for relevant implication. I will recount the essential details of these models for negation here before we look at the behaviour of inference patterns such as double negation elimination. Denition 1.1 A frame is a triple hP; C; vi consisting of a set P of points, and two binary relations C and v on P such that v is a partial order on P . That is, v is reexive, transit..

Year: 2001
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • ftp://www.phil.mq.edu.au/pub/g... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.