Scholarlink

<p>We develop a topical framework for <i>implication-in-fiction</i> by representing topics as subalgebras, following [12]. We propose an account where those propositions follow <i>within</i> the fiction which (1) follow <i>tout court</i> and (2) are on topic. This is formally modeled in an algebra of propositions as the intersection of a subalgebra and a filter, both of which are generated by the values of the premises under some interpretation of the language in the algebra. We then show how this notion generalises to a Tarskian consequence relation over classes of algebras, and show that in some cases this consequence relation satisfies the <i>Proscriptive Principle</i> (<span>PP</span>), and thus is appropriate for logics of analytic containment.</p>

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

A Topical Approach to Implication-in-Fiction and Analytic Containment Logics

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2026年3月24日

查看全文
  • Andrew Tedder,
  • Edwin Mares

摘要

We develop a topical framework for implication-in-fiction by representing topics as subalgebras, following [12]. We propose an account where those propositions follow within the fiction which (1) follow tout court and (2) are on topic. This is formally modeled in an algebra of propositions as the intersection of a subalgebra and a filter, both of which are generated by the values of the premises under some interpretation of the language in the algebra. We then show how this notion generalises to a Tarskian consequence relation over classes of algebras, and show that in some cases this consequence relation satisfies the Proscriptive Principle (PP), and thus is appropriate for logics of analytic containment.