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...
| প্রধান লেখক: | , |
|---|---|
| বিন্যাস: | প্রবন্ধ |
| ভাষা: | English |
| প্রকাশিত: |
Lodz University Press
2021-09-01
|
| মালা: | Bulletin of the Section of Logic |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | https://czasopisma.uni.lodz.pl/bulletin/article/view/10010 |