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...
Main Authors: | , |
---|---|
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 |