Weber, Zach. “True, Untrue, Valid, Invalid, Provable, Unprovable”. Logic and Logical Philosophy, vol. 34, no. 4, Jan. 2024, pp. 703-31, doi:10.12775/LLP.2024.008.