Report copyright - Extending classical logic for reasoning about quantum systemsA decidable logic extending classical reasoning and supporting quan-tum reasoning is presented. The quantum logic is obtained
Please pass captcha verification before submit form