Abstract | ||
---|---|---|
We show the admissibility for BCI of a rule form of the characteristic implicational axiom of abelian logic, this rule taking us from (alpha -> beta) -> beta to alpha. This is done in Section 8, with surrounding sections exploring the admissibility and derivability of various related rules in several extensions of BCI. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1215/00294527-3679398 | NOTRE DAME JOURNAL OF FORMAL LOGIC |
Keywords | Field | DocType |
admissible rules,structural completeness,BCI,BCK,abelian logic | Discrete mathematics,Abelian group,Algebra,Brain–computer interface,Mathematics | Journal |
Volume | Issue | ISSN |
57 | 4 | 0029-4527 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tomasz Kowalski | 1 | 124 | 24.06 |
Lloyd Humberstone | 2 | 101 | 18.98 |