- Tytuł:
- A Note on Gödel-Dummet Logic LC
- Autorzy:
-
Robles, Gemma
Méndez, José M. - Powiązania:
- https://bibliotekanauki.pl/articles/2033854.pdf
- Data publikacji:
- 2021-07-01
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Intermediate logics
Gödel-Dummet logic LC - Opis:
- 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 A_{n})\vee (A_{n}\rightarrow 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.
- Źródło:
-
Bulletin of the Section of Logic; 2021, 50, 3; 325-335
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł