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 条
  • [41] The inference processes on clustered rules
    Nowak, Agnieszka
    Wakulicz-Deja, Alicja
    INTELLIGENT INFORMATION PROCESSING AND WEB MINING, PROCEEDINGS, 2006, : 403 - +
  • [42] INFERENCE RULES FOR PROGRAM ANNOTATION
    DERSHOWITZ, N
    MANNA, Z
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1981, 7 (02) : 207 - 222
  • [43] Inference rules and inferential distributions
    vanBerkum, FEM
    Linssen, HN
    Overdijk, DA
    JOURNAL OF STATISTICAL PLANNING AND INFERENCE, 1996, 49 (03) : 305 - 317
  • [44] Globally Admissible Inference Rules
    Rimatskiy, Vitaliy V.
    BULLETIN OF IRKUTSK STATE UNIVERSITY-SERIES MATHEMATICS, 2022, 42 : 138 - 160
  • [45] COMMUNICATION MECHANISMS AND THEIR INFERENCE RULES
    周巢尘
    ScienceinChina,SerA., 1984, Ser.A.1984 (07) : 757 - 765
  • [46] Improving CAS capabilities: New rules for computing improper integrals
    Galan-Garcia, Jose L.
    Aguilera-Venegas, Gabriel
    Galan-Garcia, Maria A.
    Rodriguez-Cielos, Pedro
    Atencia-Mc.Killop, Ivan
    APPLIED MATHEMATICS AND COMPUTATION, 2018, 316 : 525 - 540
  • [47] COHERENT INFERENCE FROM IMPROPER PRIORS AND FROM FINITELY ADDITIVE PRIORS
    HEATH, D
    SUDDERTH, W
    ANNALS OF STATISTICS, 1989, 17 (02): : 907 - 919
  • [48] Analogical Reasoning and Semantic Rules of Inference
    Macagno, Fabrizio
    Walton, Douglas
    Tindale, Christopher W.
    REVUE INTERNATIONALE DE PHILOSOPHIE, 2014, 68 (270) : 419 - 432
  • [49] Testing Dependencies and Inference Rules in Databases
    S. V. Zykin
    Automatic Control and Computer Sciences, 2023, 57 : 788 - 802
  • [50] Rules of inference in fuzzy sentential logic
    Turunen, E
    FUZZY SETS AND SYSTEMS, 1997, 85 (01) : 63 - 72
12345