Weber, Zach. “True, Untrue, Valid, Invalid, Provable, Unprovable”. Logic and Logical Philosophy, Jan. 2024, pp. 1-29, doi:10.12775/LLP.2024.008.