QuantumLogic 2009-01-29 16:41:52 2009-01-29 16:41:52 Topic This is a contributed topic on \PMlinkexternal{quantum logic using tools available on the internet.}{http://us.metamath.org/qlegif/mmql.html}