document.write("«&nbsp;<a href='/news/view?id=94351'>Cut elimination, identity elimination, and interpolation in super-Belnap logics. (arXiv:1803.03822v1 [math.LO])</a>");document.write(" | ");document.write("<a href='/news/view?id=94353'>Darts, Dice, and Coins: Sampling from a Discrete Distribution (2011)</a>&nbsp;»");