Логика обобщенных истинностных значений для квантовой вычислимостидоклад на конференции