A Note on Gödel-Dummet Logic LC

Szczegóły
Opis

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
Źródło:: Bulletin of the Section of Logic; 2021, 50, 3; 325-335
0138-0680
2449-836X
Język:: angielski
Prawa:: CC BY-NC-ND: Creative Commons Uznanie autorstwa - Użycie niekomercyjne - Bez utworów zależnych 4.0
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

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.

Informacja

Powiązane pozycje