A Note on Gödel-Dummet Logic LC

Let Ao, A1, . . . , An be (possibly) distintict wffs, being an odd number equal to or greater than 1. 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 pl...

Full description

Bibliographic Details
Main Authors: Gemma Robles, José M. Méndez
Format: Article
Language:English
Published: Lodz University Press 2021-09-01
Series:Bulletin of the Section of Logic
Subjects:
Online Access:https://czasopisma.uni.lodz.pl/bulletin/article/view/10010