Opis

• Tytuł:
  An Investigation into Intuitionistic Logic with Identity
• Twórca:
  Chlebowski, Szymon;
  Leszczyńska-Jasion, Dorota
• Współtwórca:
  Chlebowski, Szymon - Department of Logic and Cognitive Science, Faculty of Psychology and Cognitive Science, Adam Mickiewicz University, Poznań, Poland;
  Leszczyńska-Jasion, Dorota - Department of Logic and Cognitive Science, Faculty of Psychology and Cognitive Science, Adam Mickiewicz University, Poznań, Poland;
  Chlebowski, Szymon - szymon.chlebowski@amu.edu.pl;
  Leszczyńska-Jasion, Dorota - dorota.leszczynska@amu.edu.pl
• Opis:
  We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity (ISCI). We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s propositional identity connective.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2021.05.05;
  2019.12.31
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;4;
  48
• Temat i słowa kluczowe:
  Non-Fregean logics;
  intuitionistic logic;
  admissibility of cut;
  propositional identity;
  congruence
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/35365 ;
  2449-836X;
  10.18778/0138-0680.48.4.02
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe