Multi-valued Calculi for Logics Based on Non-determinism

Arnon Avron, Beata Konikowska. Multi-valued Calculi for Logics Based on Non-determinism. Logic Journal of the IGPL, 13(4):365-387, 2005. [doi]

Abstract

Abstract is missing.