Scholarlink

<p>While constructivism and relevance characterize distinct movements in nonclassical logic, they are intimately related in ways that have not been fully appreciated. In this paper, we draw out some of these connections by focusing on certain heterodox strong relevant logics that embody both constructivist and relevant features. The relations between these logics and systems such as intuitionistic logic are examined from several perspectives, including semantically using operational models and proof-theoretically using natural deduction. Along the way, we illustrate how our approach yields novel insights into intuitionistic logic, and we highlight directions for future research.</p>

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

Constructivism and Relevance

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2026年7月28日

查看全文
  • Yale Weiss,
  • Shawn Standefer

摘要

While constructivism and relevance characterize distinct movements in nonclassical logic, they are intimately related in ways that have not been fully appreciated. In this paper, we draw out some of these connections by focusing on certain heterodox strong relevant logics that embody both constructivist and relevant features. The relations between these logics and systems such as intuitionistic logic are examined from several perspectives, including semantically using operational models and proof-theoretically using natural deduction. Along the way, we illustrate how our approach yields novel insights into intuitionistic logic, and we highlight directions for future research.