Satoshi Matsuoka Nondeterministic Linear Logic http://arxiv.org/abs/cs.LO/0410029 2004 CoRR cs.LO/0410029 db/journals/corr/corr0410.html#cs-LO-0410029