An unsharp logic from quantum computation