Scholarlink

<p>In this article, we present a definition of hyperintensionality appropriate to relevant logics. We then show that relevant logics are hyperintensional in this sense, drawing consequences for other non-classical logics, including <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({\sf HYPE}\)</EquationSource> </InlineEquation> and some substructural logics. We further prove some positive and negative results concerning extensionality and hyperintensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these results in the area of epistemic logic.</p>

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

On the hyperintensionality of relevant logics and some of their rivals

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年10月7日

查看全文
  • Shawn Standefer

摘要

In this article, we present a definition of hyperintensionality appropriate to relevant logics. We then show that relevant logics are hyperintensional in this sense, drawing consequences for other non-classical logics, including \({\sf HYPE}\) and some substructural logics. We further prove some positive and negative results concerning extensionality and hyperintensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these results in the area of epistemic logic.