MULTIPLE FORMS OF GENTZEN RULES AND SOME INTERMEDIATE LOGICS

被引：2

|

作者：

SIKIC, Z

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1984年 / 30卷 / 04期

关键词：

D O I：

10.1002/malq.19840301908

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：335 / 338

页数：4

相关论文

共 50 条

[1] MULTIPLE FORMS OF GENTZEN RULES AND SOME INTERMEDIATE LOGICS
SIKIC, Z
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 705 - 706
[2] MULTIPLE FORMS OF GENTZEN RULES AND SOME INTERMEDIATE LOGICS
SIKIC, Z
JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (04) : 1227 - 1228
[3] On the rules of intermediate logics
Rosalie Iemhoff
Archive for Mathematical Logic, 2006, 45 : 581 - 599
[4] On the rules of intermediate logics
Iemhoff, Rosalie
ARCHIVE FOR MATHEMATICAL LOGIC, 2006, 45 (05) : 581 - 599
[5] Archetypal Rules and Intermediate Logics
Polacik, Tomasz
LOGICA YEARBOOK 2011, 2012, : 227 - 237
[6] Gentzen sequent calculi for some intuitionistic modal logics
Lin, Zhe
Ma, Minghui
LOGIC JOURNAL OF THE IGPL, 2019, 27 (04) : 596 - 623
[7] SOME PROBLEMS ON INTERMEDIATE PREDICATE LOGICS
RAUSZER, C
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1438 - 1438
[8] Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
Iemhoff, Rosalie
Metcalfe, George
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, 2009, 5407 : 230 - +
[9] A note on admissible rules and the disjunction property in intermediate logics
Citkin, Alexander
ARCHIVE FOR MATHEMATICAL LOGIC, 2012, 51 (1-2): : 1 - 14
[10] A note on admissible rules and the disjunction property in intermediate logics
Alexander Citkin
Archive for Mathematical Logic, 2012, 51 : 1 - 14

← 1 2 3 4 5 →