Scholarlink

<p>The article proposes a new implication for three-valued logical systems. The tautologies of this implication are exactly the same as for the classical implication in the two-valued Boolean logic. In the setting of this new implication, the conjunction and disjunction can be viewed as binary modalities. The article studies the definability and complete axiomatisation of the three versions of these modalities capturing Kleene’s, weak Kleene’s, and short-circuit versions of the connectives.</p>

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

Classical Implication for Three-Valued Logic

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年6月18日

查看全文
  • Zhuyu Li,
  • Pavel Naumov

摘要

The article proposes a new implication for three-valued logical systems. The tautologies of this implication are exactly the same as for the classical implication in the two-valued Boolean logic. In the setting of this new implication, the conjunction and disjunction can be viewed as binary modalities. The article studies the definability and complete axiomatisation of the three versions of these modalities capturing Kleene’s, weak Kleene’s, and short-circuit versions of the connectives.