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 条
  • [21] 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
  • [22] INTUITIONISTIC, MODEL-THEORETIC, PROOF OF DISJUNCTION PROPERTY
    DESWART, HCM
    JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 471 - 471
  • [23] Non-disjunction as proof of the chromosome theory of heredity
    Bridges, CB
    GENETICS, 1916, 1 (01) : 1 - 52
  • [24] Customized guide for transmucosal pterygomaxillary disjunction: Proof of concept
    Hernandez-Alfaro, F.
    Paternostro-Betancourt, D.
    Haas-Junior, O. L.
    Valls-Ontanon, A.
    JOURNAL OF STOMATOLOGY ORAL AND MAXILLOFACIAL SURGERY, 2022, 123 (05) : 494 - 497
  • [25] On the proof complexity of logics of bounded branching
    Jerabek, Emil
    ANNALS OF PURE AND APPLIED LOGIC, 2023, 174 (01)
  • [26] Proof Systems for Godel Logics with an Involution
    Avron, Arnon
    2021 IEEE 51ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2021), 2021, : 68 - 73
  • [27] Proof theory for hybrid(ised) logics
    Neves, Renato
    Madeira, Alexandre
    Martins, Manuel A.
    Barbosa, Luis S.
    SCIENCE OF COMPUTER PROGRAMMING, 2016, 126 : 73 - 93
  • [28] PROOF THEORIES FOR SUPERPOSITIONS OF ADAPTIVE LOGICS
    Straber, Christian
    Van De Putte, Frederik
    LOGIQUE ET ANALYSE, 2015, (230) : 307 - 346
  • [29] Proof Theory and Algebra in Substructural Logics
    Terui, Kazushige
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2011, 6793 : 20 - 20
  • [30] Hybrid logics with infinitary proof systems
    Kooi, B
    de Lavalette, GR
    Verbrugge, R
    JOURNAL OF LOGIC AND COMPUTATION, 2006, 16 (02) : 161 - 175
12345