Asset Details
Do you wish to reserve the book?
A Note on Gödel-Dummet Logic LC
Hey, we have placed the reservation for you!
By the way, why not check out events that you can attend while you pick your title.
Oops! Something went wrong.
Looks like we were not able to place the reservation. Kindly try again later.
Are you sure you want to remove the book from the shelf?
A Note on Gödel-Dummet Logic LC
Do you wish to request the book?
A Note on Gödel-Dummet Logic LC
Please be aware that the book you have requested cannot be checked out. If you would like to checkout this book, you can reserve another copy
We have requested the book for you!
Your request is successful and it will be processed during the Library working hours. Please check the status of your request in My Requests.
Oops! Something went wrong.
Looks like we were not able to place your request. Kindly try again later.
Journal Article
A Note on Gödel-Dummet Logic LC
2021
Overview
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 A_1) ... (A_n-1 A_n) (A_n 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.
Publisher
Wydawnictwo Uniwersytetu Łódzkiego,Lodz University Press,University of Łódź
Subject
