An abelian rule for BCI-and variations

Tomasz Kowalski; Lloyd Humberstone

doi:10.1215/00294527-3679398

An abelian rule for BCI-and variations

Tomasz Kowalski, Lloyd Humberstone

Philosophy

Research output: Contribution to journal › Article › Research › peer-review

1 Citation (Scopus)

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	https://doi.org/10.1215/00294527-3679398
Publication status	Published - 2016

Access to Document

10.1215/00294527-3679398

Cite this

@article{e4c0796fc5e8413886c638839932cba1,

title = "An abelian rule for BCI-and variations",

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.",

author = "Tomasz Kowalski and Lloyd Humberstone",

year = "2016",

doi = "10.1215/00294527-3679398",

language = "English",

volume = "57",

pages = "551--568",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "Notre Dame Journal of Formal Logic",

number = "4",

}

TY - JOUR

T1 - An abelian rule for BCI-and variations

AU - Kowalski, Tomasz

AU - Humberstone, Lloyd

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84992655533&partnerID=8YFLogxK

U2 - 10.1215/00294527-3679398

DO - 10.1215/00294527-3679398

M3 - Article

AN - SCOPUS:84992655533

SN - 0029-4527

VL - 57

SP - 551

EP - 568

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

IS - 4

ER -

An abelian rule for BCI-and variations

Abstract

Access to Document

Other files and links

Cite this