Search
Now showing items 1-1 of 1
A Note on Gödel-Dummet Logic LC
(Wydawnictwo Uniwersytetu Łódzkiego, 2021-07-01)
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 ...