In this logic, there are 4 truth values: True, False, Non-binary, and Truth-fluid. Each one of these describes a set of truth values that it can be without contradiction. [] is non-binary, [0] is false, [1] is true, and [0,1] is truth-fluid. For simplification, non-binary and truth-fluid is false whereas non-binary or truth-fluid is true. In order to express this logic, you only need 25 symbols, which is not that bad compared to something like English with 26 symbols. We made the structure for non-binary and truth-fluid, so we had to destroy 4 properties. We kept every other property.
C2A
