Opis

• Tytuł:
  A Classification of Improper Inference Rules
• Twórca:
  Sasaki, Katsumi
• Współtwórca:
  Nanzan University, Faculty of Science and Technology, 18 Yamazato-Cho;
  sasaki@nanzan-u.ac.jp
• Opis:
  In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper as opposed to proper ones. Improper inference rules are more complicated than proper ones and more difficult to understand. In 2022, we provided a sequent system based solely on the application of proper rules. In the present paper, on the basis of our system from 2022, we classify improper inference rules.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2022.08.25;
  2022.06.23
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;2;
  51
• Temat i słowa kluczowe:
  sequent system;
  improper inference rule;
  natural deduction
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/42927 ;
  2449-836X;
  10.18778/0138-0680.2022.12
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe