Robles, G.; Méndez, J. M. A Note on Gödel-Dummet Logic LC. B Sect Log 2021, 50, 325-335.