Logic of Pragmatic Truth Presented in a Tableaux Deductive System. C. Q. D. 2022, 7.