This paper develops a semantical framework for a variety of connexive logics that are based on the implicational fragments of relevant logics. The semantics is based on Fine’s “Models for Entailment” [7] and is a more natural alternative to Routley’s “Semantics for Connexive Logics” [22]. A natural deduction system that incorporates the central features of the semantics is also presented.

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

Relevant Semantics for Connexive Logics

  • Edwin Mares

摘要

This paper develops a semantical framework for a variety of connexive logics that are based on the implicational fragments of relevant logics. The semantics is based on Fine’s “Models for Entailment” [7] and is a more natural alternative to Routley’s “Semantics for Connexive Logics” [22]. A natural deduction system that incorporates the central features of the semantics is also presented.