CRITERION OF ADMISSIBILITY FOR THE DEDUCTION RULES IN MODAL AND INTUITIONISTIC LOGIC

被引：0

|

作者：

RYBAKOV, VV

机构：

来源：

DOKLADY AKADEMII NAUK SSSR | 1985年 / 284卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

收藏

页码：538 / 541

页数：4

相关论文

共 50 条

[1] DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM GRZ AND IN INTUITIONISTIC LOGIC
RYBAKOV, VV
MATHEMATICS OF THE USSR-IZVESTIYA, 1986, 50 (03): : 589 - 608
[2] An admissibility criterion for inference rules with metavariables in the modal logic S4.αN
A. N. Rutskii
Siberian Mathematical Journal, 2007, 48 : 317 - 326
[3] An admissibility criterion for inference rules with metavariables in the modal logic S4.αN
Rutskii, A. N.
SIBERIAN MATHEMATICAL JOURNAL, 2007, 48 (02) : 317 - 326
[4] Admissibility of structural rules for contraction-free systems of intuitionistic logic
Dyckhoff, R
Negri, S
JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (04) : 1499 - 1518
[5] BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM GRZ AND OF INTUITIONISTIC LOGIC
RYBAKOV, VV
MATHEMATICS OF THE USSR-SBORNIK, 1985, 128 (3-4): : 311 - 331
[6] On an Intuitionistic Modal Logic
G. M. Bierman
V. C. V. de Paiva
Studia Logica, 2000, 65 (3) : 383 - 416
[7] NATURAL DEDUCTION FOR INTUITIONISTIC LINEAR LOGIC
TROELSTRA, AS
ANNALS OF PURE AND APPLIED LOGIC, 1995, 73 (01) : 79 - 108
[8] Normal deduction in the intuitionistic linear logic
G. Mints
Archive for Mathematical Logic, 1998, 37 : 415 - 425
[9] Normal deduction in the intuitionistic linear logic
Mints, G
ARCHIVE FOR MATHEMATICAL LOGIC, 1998, 37 (5-6) : 415 - 425
[10] Criterion of Global Admissibility for Logic IPC
Rimatskiy, Vitaliy V.
JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS, 2023, 16 (05): : 620 - 627

← 1 2 3 4 5 →