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 条

[21] Cut-Free Gentzen Sequent Calculi for Tense Logics
Lin, Zhe
Ma, Minghui
AXIOMS, 2023, 12 (07)
[22] AN ANALYSIS OF THE RULES OF GENTZEN'S NJ AND LJ
Borisavljevic, Mirjana
REVIEW OF SYMBOLIC LOGIC, 2018, 11 (02): : 347 - 370
[23] INTERMEDIATE LOGICS
ZAKHARIASHCHEV, MV
DOKLADY AKADEMII NAUK SSSR, 1983, 269 (01): : 18 - 22
[24] Hypersequent calculi for some intermediate logics with bounded Kripke models
Ciabattoni, A
Ferrari, M
JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (02) : 283 - 294
[25] ON A CERTAIN CUT-FREE AXIOMATIZATION OF SOME INTERMEDIATE LOGICS
RAUSZER, C
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 703 - 703
[26] On some kripke complete and kripke incomplete intermediate predicate logics
Skvortsov D.
Studia Logica, 1998, 61 (2) : 281 - 292
[27] On the complexity of disjunction and explicit definability properties in some intermediate logics
Ferrari, M
Fiorentini, C
Fiorino, G
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2002, 2514 : 175 - 189
[28] MANY-VALUED LOGICS OF EXTENDED GENTZEN STYLE .2.
TAKAHASHI, M
JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (04) : 493 - +
[29] ON INTERMEDIATE PROPOSITIONAL LOGICS
TROELSTR.AS
KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETESCHAPPEN-PROCEEDINGS SERIES A-MATHEMATICAL SCIENCES, 1965, 68 (01): : 141 - &
[30] Hypertableau and path-hypertableau calculi for some families of intermediate logics
Ciabattoni, A
Ferrari, M
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2000, 1847 : 160 - 174

← 1 2 3 4 5 →