Self-implications in BCI
Kowalski, Tomasz
Notre Dame J. Formal Logic, Tome 49 (2008) no. 1, p. 295-305 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Humberstone asks whether every theorem of BCI provably implies $\phi\to\phi$ for some formula $\phi$ . Meyer conjectures that the axiom $\mathbf{B}$ does not imply any such "self-implication." We prove a slightly stronger result, thereby confirming Meyer's conjecture.
Publié le : 2008-07-15
Classification:  BCI logic,  sequent system,  self-implication,  03F07,  03B47 
@article{1216152552,
     author = {Kowalski, Tomasz},
     title = {Self-implications in BCI},
     journal = {Notre Dame J. Formal Logic},
     volume = {49},
     number = {1},
     year = {2008},
     pages = { 295-305},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1216152552}
}

Kowalski, Tomasz. Self-implications in BCI. Notre Dame J. Formal Logic, Tome 49 (2008) no. 1, pp.  295-305. http://gdmltest.u-ga.fr/item/1216152552/