Description

• Title:
  A Classification of Improper Inference Rules
• Creator:
  Sasaki, Katsumi
• Contributor:
  Nanzan University, Faculty of Science and Technology, 18 Yamazato-Cho;
  sasaki@nanzan-u.ac.jp
• Description:
  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.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2022.08.25;
  2022.06.23
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;2;
  51
• Subject:
  sequent system;
  improper inference rule;
  natural deduction
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/42927 ;
  2449-836X;
  10.18778/0138-0680.2022.12
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other