Scholarlink

<p>We investigate the problem of providing relevance properties for first order logics by expanding on recent work concerning relevance as a <i>topical</i> property in propositional relevant logics. We propose a theory of topic for first order languages, relying on the use of focus markers in an extension of the usual first order language, and suggest how such an enrichment of the language and conceptual apparatus of the logic can provide avenues into the first order relevance problem.</p>

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

Relevance via Topicality in First Order Logics

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年10月25日

查看全文
  • Nicholas Ferenz,
  • Andrew Tedder

摘要

We investigate the problem of providing relevance properties for first order logics by expanding on recent work concerning relevance as a topical property in propositional relevant logics. We propose a theory of topic for first order languages, relying on the use of focus markers in an extension of the usual first order language, and suggest how such an enrichment of the language and conceptual apparatus of the logic can provide avenues into the first order relevance problem.