>Nagarjuna often runs through the four cases of the catuskoti. In some places, moreover, he clearly states that there are situations in which none of the four applies. They don’t cover the status of an enlightened person after death, for example.
Are you kidding me? This article isn't even about formalizing non-boolean logic. It's thinly veiled religious propaganda, artificially ascribing mathematical formality to a mystical religion.
And yes, statements are either true or false. If you can't say a statement will be either true or false (you don't have to know which one), the statement is ill-defined. Non-binary logical systems are useful only insofar as they allow us to model uncertainty, not because they reflect the nature of reality.