This chapter studies in depth, both from a model- and a proof-theoretic perspective, various logics in the so-called “strict-tolerant” family. We provide results of Inferential and Metainferential Soundness and Completeness. We analyze the local, global and absolute global st-ranges of the relevant calculi, relative to the set of all trivaluations for the language. We explain the well-known relationship between the metainferences and inferences valid in st- and tt-consequence relations, respectively. Finally, we show that the strict-tolerant phenomenon generalizes to every non-trivial Tarskian logic. Most of the contents of this chapter are known to the literature. Some of them, however, are either new or correct some (small) mistakes in other articles.

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

Non-Transitive Logics

  • Agustina Borzi,
  • Camillo Fiore

摘要

This chapter studies in depth, both from a model- and a proof-theoretic perspective, various logics in the so-called “strict-tolerant” family. We provide results of Inferential and Metainferential Soundness and Completeness. We analyze the local, global and absolute global st-ranges of the relevant calculi, relative to the set of all trivaluations for the language. We explain the well-known relationship between the metainferences and inferences valid in st- and tt-consequence relations, respectively. Finally, we show that the strict-tolerant phenomenon generalizes to every non-trivial Tarskian logic. Most of the contents of this chapter are known to the literature. Some of them, however, are either new or correct some (small) mistakes in other articles.