  One type of solution for these problems refers to the use of many truth degrees, e.g. to product systems with ordered pairs as truth degrees: meaning that their components evaluate in parallel whether the presupposition is met, and whether the sentence is true or false. But 3-valued approaches have also been discussed.