Opis

• Tytuł:
  Meaning is Use: the Case of Propositional Identity
• Twórca:
  Kupś, Leonard;
  Chlebowski, Szymon
• Współtwórca:
  Kupś, Leonard - Adam Mickiewicz University in Poznań, Poland Department Psychology and Cognitive Science;
  Chlebowski, Szymon - Adam Mickiewicz University in Poznań, Poland Department Psychology and Cognitive Science;
  Kupś, Leonard - leonard.kups@gmail.com;
  Chlebowski, Szymon - szymon.chlebowski@amu.edu.pl
• Opis:
  We study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of proof-theoretic semantics. We argue that the identity connective is a natural operator to be treated under the elimination rules as basic approach.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2024.09.30;
  2024.05.20
• Typ:
  Article
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;3;
  53
• Temat i słowa kluczowe:
  intuitionistic Logic;
  non-Fregean logic;
  proof-theoretic semantics
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/53269 ;
  2449-836X;
  10.18778/0138-0680.2024.05
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  obrazy