A CLASSIFICATION OF IMPROPER INFERENCE RULES

被引：0
|
作者：
Sasaki, Katsumi [1 ]
机构：
[1] Nanzan Univ, Fac Sci & Technol, 18 Yamazato Cho,Showa Ku 466, Nagoya, Japan
来源：
BULLETIN OF THE SECTION OF LOGIC | 2022年 / 51卷 / 02期
关键词：
Sequent system; improper inference rule; natural deduction;
D O I：
10.18778/0138-0680.2022.12
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
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.
引用
收藏
页码：243 / 266
页数：24
相关论文
共 50 条
  • [31] GENERAL STATEMENTS AS RULES OF INFERENCE
    ALEXANDER, HG
    MINNESOTA STUDIES IN THE PHILOSOPHY OF SCIENCE, 1958, 2 : 309 - 329
  • [32] COMMUNICATION MECHANISMS AND THEIR INFERENCE RULES
    周巢尘
    Science China Mathematics, 1984, (07) : 757 - 765
  • [33] Restricted Rules of Inference and Paraconsistency
    Basu, Sankha S.
    Chakraborty, Mihir K.
    LOGIC JOURNAL OF THE IGPL, 2022, 30 (03) : 534 - 560
  • [34] SHACL Constraints with Inference Rules
    Pareti, Paolo
    Konstantinidis, George
    Norman, Timothy J.
    Sensoy, Murat
    SEMANTIC WEB - ISWC 2019, PT I, 2019, 11778 : 539 - 557
  • [35] RULES OF INFERENCE FOR PROCEDURE CALLS
    ERNST, GW
    ACTA INFORMATICA, 1977, 8 (02) : 145 - 152
  • [36] Table admissible inference rules
    V. V. Rimatskii
    Algebra and Logic, 2009, 48 : 228 - 236
  • [37] The Inference Graph of Cybersecurity Rules
    Sheniar, Dawood
    Hadaad, Nabeel
    Addie, Ron
    2019 29TH INTERNATIONAL TELECOMMUNICATION NETWORKS AND APPLICATIONS CONFERENCE (ITNAC), 2019,
  • [38] Update by means of inference rules
    Przymusinski, TC
    Turner, H
    JOURNAL OF LOGIC PROGRAMMING, 1997, 30 (02): : 125 - 143
  • [39] INFERENCE RULES FOR PROBABILITY LOGIC
    Boricic, Marija
    PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2016, 100 (114): : 77 - 86
  • [40] PARTIAL EVALUATION WITH INFERENCE RULES
    HASCOET, L
    NEW GENERATION COMPUTING, 1988, 6 (2-3) : 187 - 209
12345