Self-implications in BCI

Tomasz Kowalski

doi:10.1215/00294527-2008-013

Self-implications in BCI

Tomasz Kowalski^*

^*Corresponding author for this work

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

4 Citations (Scopus)

Abstract

Humberstone asks whether every theorem of BCI provably implies φ → φ for some formula φ. Meyer conjectures that the axiom B does not imply any such "self-implication." We prove a slightly stronger result, thereby confirming Meyer's conjecture.

Original language	English
Pages (from-to)	295-305
Number of pages	11
Journal	Notre Dame Journal of Formal Logic
Volume	49
Issue number	3
DOIs	https://doi.org/10.1215/00294527-2008-013
Publication status	Published - 2008

Access to Document

10.1215/00294527-2008-013

Cite this

@article{1c9231b43f154ae6a794ffee6b1354c0,

title = "Self-implications in BCI",

abstract = "Humberstone asks whether every theorem of BCI provably implies φ → φ for some formula φ. Meyer conjectures that the axiom B does not imply any such {"}self-implication.{"} We prove a slightly stronger result, thereby confirming Meyer's conjecture.",

keywords = "BCI logic, Self-implication, Sequent system",

author = "Tomasz Kowalski",

year = "2008",

doi = "10.1215/00294527-2008-013",

language = "English",

volume = "49",

pages = "295--305",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "Duke University Press",

number = "3",

}

TY - JOUR

T1 - Self-implications in BCI

AU - Kowalski, Tomasz

PY - 2008

Y1 - 2008

N2 - Humberstone asks whether every theorem of BCI provably implies φ → φ for some formula φ. Meyer conjectures that the axiom B does not imply any such "self-implication." We prove a slightly stronger result, thereby confirming Meyer's conjecture.

AB - Humberstone asks whether every theorem of BCI provably implies φ → φ for some formula φ. Meyer conjectures that the axiom B does not imply any such "self-implication." We prove a slightly stronger result, thereby confirming Meyer's conjecture.

KW - BCI logic

KW - Self-implication

KW - Sequent system

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

U2 - 10.1215/00294527-2008-013

DO - 10.1215/00294527-2008-013

M3 - Article

SN - 0029-4527

VL - 49

SP - 295

EP - 305

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

IS - 3

ER -

Self-implications in BCI

Abstract

Access to Document

Other files and links

Cite this