[logic-ml] intuitionistic quantum logic