Defining Double Negation Elimination - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Greg Restall. Defining Double Negation Elimination. Logic Journal of the IGPL, 8(6):853-860, 2000. [doi]

@article{Restall00,
  title = {Defining Double Negation Elimination},
  author = {Greg Restall},
  year = {2000},
  url = {http://www3.oup.co.uk/igpl/Volume_08/Issue_06/#Restall},
  researchr = {https://researchr.org/publication/Restall00},
  cites = {0},
  citedby = {0},
  journal = {Logic Journal of the IGPL},
  volume = {8},
  number = {6},
  pages = {853-860},
}

runs on WebDSL