TY - JOUR AU - Robles, Gemma AU - Méndez, José M. PY - 2021/07/01 Y2 - 2024/03/29 TI - A Note on Gödel-Dummet Logic LC JF - Bulletin of the Section of Logic JA - B Sect Log VL - 50 IS - 3 SE - Research Article DO - 10.18778/0138-0680.2021.15 UR - https://czasopisma.uni.lodz.pl/bulletin/article/view/10010 SP - 325-335 AB - <p>Let \(A_{0},A_{1},...,A_{n}\) be (possibly) distintict wffs, \(n\) being an odd number equal to or greater than 1. Intuitionistic Propositional Logic IPC plus the axiom \((A_{0}\rightarrow A_{1})\vee ...\vee (A_{n-1}\rightarrow A_{n})\vee (A_{n}\rightarrow A_{0})\) is equivalent to Gödel-Dummett logic LC. However, if \(n\) is an even number equal to or greater than 2, IPC plus the said axiom is a sublogic of LC.</p> ER -