G. Robles and J. M. Méndez, “A Note on Gödel-Dummet Logic LC”, B Sect Log, vol. 50, no. 3, pp. 325–335, Jul. 2021, doi: 10.18778/0138-0680.2021.15.