Return to Article Details An axiomatization of quantum computational Logic Download Download PDF