@Article{         Lozes,
  Author        = "Lozes, Etienne",
  Abstract      = "In the modal mu-calculus, a formula is well-formed if each recursive variable occurs underneath an even number of negations. By means of De Morgan's laws, it is easy to transform any well-formed formula into an equivalent formula without negations {\^a}€“ its negation normal form. Moreover, if the formula is of size n, its negation normal form of is of the same size O(n). The full modal mu-calculus and the negation normal form fragment are thus equally expressive and concise.",
  date-added    = "2016-01-12 10:52:19 +0000",
  date-modified = "2016-01-12 10:52:19 +0000",
  EPrint        = "1509.03020",
  Month         = "09",
  Title         = "A Type-Directed Negation Elimination",
  URL           = "http://arxiv.org/abs/1509.03020",
  Year          = "2015",
  bdsk-url-1    = "http://arxiv.org/abs/1509.03020",
  File          = "A Type-Directed Negation Elimination - Lozes (0) (0) - a - a - m.pdf"
}

@Article{ Lozes, Author = "Lozes, Etienne", Abstract = "In the modal mu-calculus, a formula is well-formed if each recursive variable occurs underneath an even number of negations. By means of De Morgan's laws, it is easy to transform any well-formed formula into an equivalent formula without negations {\^a}€“ its negation normal form. Moreover, if the formula is of size n, its negation normal form of is of the same size O(n). The full modal mu-calculus and the negation normal form fragment are thus equally expressive and concise.", date-added = "2016-01-12 10:52:19 +0000", date-modified = "2016-01-12 10:52:19 +0000", EPrint = "1509.03020", Month = "09", Title = "A Type-Directed Negation Elimination", URL = "http://arxiv.org/abs/1509.03020", Year = "2015", bdsk-url-1 = "http://arxiv.org/abs/1509.03020", File = "A Type-Directed Negation Elimination - Lozes (0) (0) - a - a - m.pdf" }