Description

• Title:
  A Note on Gödel-Dummet Logic LC
• Creator:
  Robles, Gemma;
  Méndez, José M.
• Contributor:
  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
• Description:
  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.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2021.11.05;
  2021.07.01
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;3;
  50
• Subject:
  Intermediate logics;
  Gödel-Dummet logic LC
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/39686 ;
  2449-836X;
  10.18778/0138-0680.2021.15
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other