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.
Original language | English |
---|---|
Pages (from-to) | 551-568 |
Number of pages | 18 |
Journal | Notre Dame Journal of Formal Logic |
Volume | 57 |
Issue number | 4 |
DOIs | |
Publication status | Published - 2016 |