Arnon Avron Beata Konikowska Multi-valued Calculi for Logics Based on Non-determinism. 365-387 2005 13 Logic Journal of the IGPL 4 http://dx.doi.org/10.1093/jigpal/jzi030 db/journals/igpl/igpl13.html#AvronK05