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 条
  • [41] TOWARDS A PROOF THEORY OF GODEL MODAL LOGICS
    Metcalfe, George
    Olivetti, Nicola
    LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (02)
  • [42] FURTHER RESULTS ON PROOF THEORIES FOR SEMILATTICE LOGICS
    MEYER, RK
    GIAMBRONE, S
    URQUHART, A
    MARTIN, EP
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1988, 34 (04): : 301 - 304
  • [43] RELATIONAL PROOF SYSTEMS FOR SOME AI LOGICS
    ORLOWSKA, E
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 535 : 33 - 47
  • [44] Implementing temporal logics: Tools for execution and proof
    Fisher, Michael
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2006, 3900 : 129 - 142
  • [45] An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics
    Takahiro Seki
    Studia Logica, 2012, 100 : 1149 - 1174
  • [46] Proof theory for quantified monotone modal logics
    Negri, Sara
    Orlandelli, Eugenio
    LOGIC JOURNAL OF THE IGPL, 2019, 27 (04) : 478 - 506
  • [47] Proof Complexity of Non-classical Logics
    Beyersdorff, Olaf
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2010, 6108 : 15 - 27
  • [48] Proof theory for Casari's comparative logics
    Metcalfe, George
    JOURNAL OF LOGIC AND COMPUTATION, 2006, 16 (04) : 405 - 422
  • [49] On proof terms and embeddings of classical substructural logics
    Fujita K.-E.
    Studia Logica, 1998, 61 (2) : 199 - 221
  • [50] Algebraic Proof Theory for LE-logics
    Greco, Giuseppe
    Jipsen, Peter
    Liang, Fei
    Palmigiano, Alessandra
    Tzimoulis, Apostolos
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2024, 25 (01)
12345