A Note on Gödel-Dummet Logic LC by Gemma Robles, José M. Méndez

“…Intuitionistic Propositional Logic IPC plus the axiom (Ao → A1)V . . .V(An-1 → An)V(An → Ao) is equivalent to Gödel-Dummett logic LC. However, if is an even number equal to or greater than 2, IPC plus the said axiom is a sublogic of LC.…”
Get full text