Robles, G., & Méndez, J. M. (2021). A Note on Gödel-Dummet Logic LC. Bulletin of the Section of Logic, 50(3), 325–335. https://doi.org/10.18778/0138-0680.2021.15