Relevant Semantics for Connexive Logics
摘要
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.