Pearce GR. Three Approaches to Logical Correctness. LLP [Internet]. 2024 Mar. 15 [cited 2025 Dec. 27];34(1):3-37. Available from: https://apcz.umk.pl/LLP/article/view/45490