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 条
  • [1] Logics with disjunction and proof by cases
    San-min Wang
    Petr Cintula
    Archive for Mathematical Logic, 2008, 47 : 435 - 446
  • [2] DISJUNCTION IN MODAL DESCRIPTION LOGICS
    Mosurovic, Milenko
    PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2007, 82 (96): : 25 - 35
  • [3] Conjunction and Disjunction in Infectious Logics
    Omori, Hitoshi
    Szmuc, Damian
    LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 268 - 283
  • [4] CLASS OF LOGICS WITHOUT DISJUNCTION PROPERTY
    DRUGUSH, JM
    VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1978, (06): : 9 - 14
  • [5] The Problem of Conjunction and Disjunction in Quantum Logics
    Jarosław Pykacz
    Piotr Frąckiewicz
    International Journal of Theoretical Physics, 2017, 56 : 3963 - 3970
  • [6] Disjunction property and complexity of substructural logics
    Horcik, Rostislav
    Terui, Kazushige
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (31) : 3992 - 4006
  • [7] The Problem of Conjunction and Disjunction in Quantum Logics
    Pykacz, Jaroslaw
    Frackiewicz, Piotr
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2017, 56 (12) : 3963 - 3970
  • [8] On Harrop disjunction property in intermediate predicate logics
    Katsumasa Ishii
    Archive for Mathematical Logic, 2024, 63 : 317 - 324
  • [9] On Harrop disjunction property in intermediate predicate logics
    Ishii, Katsumasa
    ARCHIVE FOR MATHEMATICAL LOGIC, 2024, 63 (3-4) : 317 - 324
  • [10] Multiple Conclusion Rules in Logics with the Disjunction Property
    Citkin, Alex
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 76 - 89
12345