Logics with disjunction and proof by cases

被引：15
|
作者：
Wang, San-min [2 ]
Cintula, Petr [1 ]
机构：
[1] Acad Sci Czech Republic, Inst Comp Sci, Prague 18207 8, Czech Republic
[2] Nanchang Univ, Dept Comp Sci & Engn, Nanchang 330031, Peoples R China
来源：
ARCHIVE FOR MATHEMATICAL LOGIC | 2008年 / 47卷 / 05期
基金：
中国国家自然科学基金;
关键词：
logics with disjunction; consequence relation; proof by cases property; intersections of logics; weakly implicative logics; weakly implicative fuzzy logics;
D O I：
10.1007/s00153-008-0088-0
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
This paper is a contribution to the general study of consequence relations which contain (definable) connective of "disjunction". Our work is centered around the "proof by cases property", we present several of its equivalent definitions, and show some interesting applications, namely in constructing axiomatic systems for intersections of logics and recognizing weakly implicative fuzzy logics among the weakly implicative ones.
引用
收藏
页码：435 / 446
页数：12
相关论文
共 50 条
12345