Abstract

We show the admissibility for BCI of a rule form of the characteristic implicational axiom of abelian logic, this rule taking us from (α→β)→β to α. This is done in Section 8, with surrounding sections exploring the admissibility and derivability of various related rules in several extensions of BCI.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call