Report - Extending classical logic for reasoning about quantum systemssqig.math.ist.utl.pt/pub/SernadasA/05-CMSS-quantlog07.pdf · Extending classical logic for reasoning about quantum systems

Please pass captcha verification before submit form