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