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.