Opis

• Tytuł:
  O rozumieniu analityczności w teorii dowodu
• Twórca:
  Indrzejczak, Andrzej
• Współtwórca:
  Maciaszek, Janusz;
  Uniwersytet Łódzki
• Opis:
  W pracy rozważane są różne pojęcia dowodu analitycznego. Po krótkim przypomnieniu historycznie ważnych podejść do tego pojęcia praca koncentruje się na współczesnym rozumieniu terminu. W szczególności przebadane są relacje pomiędzy eliminacją cięcia, własnością podformuł i analitycznością dowodu w rachunku sekwentów.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: http://creativecommons.org/licenses/by-nc-nd/4.0 ;
  Attribution-NonCommercial-NoDerivatives 4.0 Międzynarodowe
• Data:
  2020.12.29;
  2020
• Typ:
  Book chapter
• Język:
  polski
• Format:
  application/pdf;
  image/jpeg
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Maciaszek J. (red.), Analiza, racjonalność, filozofia religii. Księga jubileuszowa dedykowana Profesorowi Ryszardowi Kleszczowi, Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2020;;
  Bibliotheca Philosophica;6
• Temat i słowa kluczowe:
  dowód analityczny;
  rachunek sekwentów;
  własność podformuł
• Identyfikator:
  Indrzejczak A., O rozumieniu analityczności w teorii dowodu, [w:] Analiza, racjonalność, filozofia religii. Księga jubileuszowa dedykowana Profesorowi Ryszardowi Kleszczowi, Maciaszek J. (red.), Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2020, s. 13-35, doi: 10.18778/8220-034-8.02;
  978-83-8220-034-8;
  http://hdl.handle.net/11089/32985 ;
  978-83-8220-035-5;
  10.18778/8220-034-8.02
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty