Scholarlink

In this chapter, we will provide some background on the volume and the topics of the papers. We begin by presenting the context for the workshop that gave rise to the volume. We then present a short historical overview of relevant logics. We then provide context to situate each of the papers in this volume, organized by the topics of the parts, namely Philosophical Foundations, Model Theory, Proof Theory, and Applications.

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

Introduction: Directions and New Directions

  • 章节

  • 发表日期：

    2025年

查看全文
  • Igor Sedlár,
  • Shawn Standefer,
  • Andrew Tedder

摘要

In this chapter, we will provide some background on the volume and the topics of the papers. We begin by presenting the context for the workshop that gave rise to the volume. We then present a short historical overview of relevant logics. We then provide context to situate each of the papers in this volume, organized by the topics of the parts, namely Philosophical Foundations, Model Theory, Proof Theory, and Applications.