Weber, Zach. 2024. “True, Untrue, Valid, Invalid, Provable, Unprovable”. Logic and Logical Philosophy 34 (4):703-31. https://doi.org/10.12775/LLP.2024.008.