Photo by crimsonmiraclet from unsplash
In this paper, a connexive extension of the Relevance logic R → was presented. It is defined by means of a natural deduction system, and a deductively equivalent axiomatic system… Click to show full abstract
In this paper, a connexive extension of the Relevance logic R → was presented. It is defined by means of a natural deduction system, and a deductively equivalent axiomatic system is presented too. The goal of such an extension is to produce a logic with stronger connection between the antecedent and the consequent of an implication.
Keywords:
connexive logic;
relevant connexive;
philosophy;
logic
Journal Title: Logic and Logical Philosophy
Year Published: 2019
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Logic and Logical Philosophy
Year Published: 2019
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!