Scholarlink

The present article aims at generalizing the approach to connexive logic thatwas initiated in [27], by following thework by Paul Egré and Guy Politzer. To this end, a variant of the connexive modal logic CK is introduced and some basic results including soundness and completeness results are established. A tableau calculus is also presented in an appendix.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Another Generalization of Connexive Logic C

  • 章节

  • 出版模式：

    开放获取

  • 发表日期：

    2025年

查看全文
  • Hitoshi Omori,
  • Heinrich Wansing

摘要

The present article aims at generalizing the approach to connexive logic thatwas initiated in [27], by following thework by Paul Egré and Guy Politzer. To this end, a variant of the connexive modal logic CK is introduced and some basic results including soundness and completeness results are established. A tableau calculus is also presented in an appendix.