It is possible to give a rigorous mathematical definition of a logic that deals with contradictions and propositions that cannot be assigned a truth value. This has parallels with traditions in Buddhism and helps resolve paradoxes which are problematic for traditional Western logic (e.g., "this sentence is false").