TOWARDS A BRIDGE OVER TWO APPROACHES IN CONNEXIVE LOGIC

被引:4
|
作者
Omori, Hitoshi [1 ]
机构
[1] Ruhr Univ Bochum, Dept Philosophy 1, Bochum, Germany
关键词
connexive logic; contra-classical logic; Belnap-Dunn logic; modal logic; experimental philosophy;
D O I
10.12775/LLP.2019.005
中图分类号
B81 [逻辑学(论理学)];
学科分类号
010104 ; 010105 ;
摘要
The present note aims at bridging two approaches to connexive logic: one approach suggested by Heinrich Wansing, and another approach suggested by Paul Egre and Guy Politzer. To this end, a variant of FDE-based modal logic, developed by Sergei Odintsov and Heinrich Wansing, is introduced and some basic results including soundness and completeness results are established.
引用
收藏
页码:553 / 566
页数:14
相关论文
共 50 条
  • [1] Intuitionistic Logic is a Connexive Logic
    Fazio, Davide
    Ledda, Antonio
    Paoli, Francesco
    STUDIA LOGICA, 2024, 112 (1-2) : 95 - 139
  • [2] Intuitionistic Logic is a Connexive Logic
    Davide Fazio
    Antonio Ledda
    Francesco Paoli
    Studia Logica, 2024, 112 : 95 - 139
  • [3] Dialogical Connexive Logic
    Shahid Rahman
    Helge Rückert
    Synthese, 2001, 127 : 105 - 139
  • [4] RELEVANT CONNEXIVE LOGIC
    Francez, Nissim
    LOGIC AND LOGICAL PHILOSOPHY, 2019, 28 (03) : 409 - 425
  • [5] Dialogical connexive logic
    Rahman, S
    Rückert, H
    SYNTHESE, 2001, 127 (1-2) : 105 - 139
  • [6] Classical Logic Is Connexive
    Fiore, Camillo
    AUSTRALASIAN JOURNAL OF LOGIC, 2024, 21 (02)
  • [7] CONNEXIVE CLASS LOGIC
    MCCALL, S
    JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (03) : 443 - &
  • [8] CONNEXIVE CLASS LOGIC
    MCCALL, S
    JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (01) : 83 - &
  • [9] A POLY-CONNEXIVE LOGIC
    Francez, Nissim
    LOGIC AND LOGICAL PHILOSOPHY, 2020, 29 (01) : 143 - 157
  • [10] Rewriting the History of Connexive Logic
    Wolfgang Lenzen
    Journal of Philosophical Logic, 2022, 51 : 525 - 553