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

共 12 条

[1] Arbitrary reference [J].

Breckenridge, Wylie ;

Magidor, Ofra .

PHILOSOPHICAL STUDIES, 2012, 158 (03) :377-400

[2]

Chagrov A.V., 1997, MODAL LOGIC, V35

[3]

Fine K., 1985, Aristotelian Society Series, V3

[4] Studies on logical closing. [J].

Gentzen, G .

MATHEMATISCHE ZEITSCHRIFT, 1935, 39 :176-210

[5] On axiom systems for integral systems [J].

Hertz, P .

MATHEMATISCHE ANNALEN, 1929, 101 :457-514

[6] A Survey of Nonstandard Sequent Calculi [J].

Indrzejczak, Andrzej .

STUDIA LOGICA, 2014, 102 (06) :1295-1322

[7]

Prawitz D., 1965, NATURAL DEDUCTION PR

[8] Ackermann's implication for typefree logic [J].

Robering, K .

JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (01) :5-23

[9] A SEQUENT SYSTEM WITHOUT IMPROPER DERIVATIONS [J].

Sasaki, Katsumi .

BULLETIN OF THE SECTION OF LOGIC, 2022, 51 (01) :91-108

[10]

Schroeder-Heister P, 2002, B SYMB LOG, V8, P246, DOI 10.2178/bsl/1182353872

← 1 2 →