Quantized linear logic, involutive quantales and strong negation
scientific article; zbMATH DE number 2153430