"disimplicature" -- v. "disimplicate" -- from "A Dictionary of Grice"

As I say, it's good, I believe, to have entries for a forthcoming dictionary of Grice (alla "A dictionary of Borges" -- "The Grice dictionary" sounds too authoritative).

I also believe that 'implicature' and 'disimplicature', to annoy others, should be under 'implicate' and 'disimplicate'. So see you there!

-- this reminds me of an edition of Grove, Dictionary of Music and Musicians:

Pears, P. see under Benjamin Britten.