Note on Deduction Theorems in contraction-free logics

被引：3
|
作者：
Chvalovsky, Karel [1 ]
Cintula, Petr [1 ,2 ]
机构：
[1] Acad Sci Czech Republ, Inst Comp Sci, Prague 18207 8, Czech Republic
[2] Fac Informat, Dept Comp Languages, A-1040 Vienna, Austria
来源：
MATHEMATICAL LOGIC QUARTERLY | 2012年 / 58卷 / 03期
基金：
奥地利科学基金会;
关键词：
Local Deduction Theorem; BCI-logic; Substructural logics; Rule of contraction;
D O I：
10.1002/malq.201110065
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
This paper provides a finer analysis of the well-known form of the Local Deduction Theorem in contraction-free logics (understood as Tarski-style finitary structural consequence relations). An infinite hierarchy of its natural strengthenings is introduced and studied. The main results are the separation of its initial four members and the subsequent collapse of the hierarchy. (C) 2012 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
引用
收藏
页码：236 / 243
页数：8
相关论文
共 50 条
12345