Opis

• Tytuł:
  A Note on Gödel-Dummet Logic LC
• Twórca:
  Robles, Gemma;
  Méndez, José M.
• Współtwórca:
  Robles, Gemma - University of León, Department of Psychology, Sociology and Philosophy;
  Méndez, José M. - University of Salamanca;
  Robles, Gemma - gemma.robles@unileon.es;
  Méndez, José M. - sefus@usal.es
• 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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2021.11.05;
  2021.07.01
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;3;
  50
• Temat i słowa kluczowe:
  Intermediate logics;
  Gödel-Dummet logic LC
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/39686 ;
  2449-836X;
  10.18778/0138-0680.2021.15
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe