Robles G, Méndez JM. A Note on Gödel-Dummet Logic LC. B Sect Log. 2021;50(3):325-335. doi:10.18778/0138-0680.2021.15