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 条

[21] A SIMPLE DEDUCTION METHOD FOR MODAL LOGIC
DELCERRO, LF
INFORMATION PROCESSING LETTERS, 1982, 14 (02) : 49 - 51
[22] AN INTERPRETATION OF INTUITIONISTIC PREDICATE LOGIC IN MODAL LOGIC
PRAWITZ, D
JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (04) : 565 - &
[23] On preselection of rules in fuzzy logic deduction
Dvorák, A
INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2000, 8 (05) : 563 - 572
[24] Falsification, natural deduction and bi-intuitionistic logic
Wansing, Heinrich
JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (01) : 425 - 450
[25] A normalizing system of natural deduction for intuitionistic linear logic
Sara Negri
Archive for Mathematical Logic, 2002, 41 : 789 - 810
[26] NATURAL DEDUCTION AND SEQUENT CALCULUS FOR INTUITIONISTIC RELEVANT LOGIC
TENNANT, N
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (03) : 665 - 680
[27] NEGATIVE POSSIBILITY IN INTUITIONISTIC MODAL LOGIC
FONT, JM
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 317 - 317
[28] Preface to intuitionistic modal logic 2017
de Paiva, Valeria
Artemov, Sergei
1600, College Publications (08): : 2261 - 2263
[29] Universal proof theory: Feasible admissibility in intuitionistic modal logics
Tabatabai, Amirhossein Akbar
Jalali, Raheleh
ANNALS OF PURE AND APPLIED LOGIC, 2025, 176 (02)
[30] PREFACE TO INTUITIONISTIC MODAL LOGIC 2017
De Paiva, Valeria
Artemov, Sergei
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (08): : 2261 - 2263

← 1 2 3 4 5 →