Proof-theoretic semantics can treat negation as defined via absurdity, making falsum a legitimate lo...