Special Issue on Quantum Physics and Logic. - Hasuo, Ichiro; Panangaden, Prakash (New Gener. Comput., 2016)