Abstract | ||
---|---|---|
L. Humberstone asks whether every theorem of BCI provably implies ' ! ' for some formula '. R.K. Meyer conjectures that the axiom B does not imply any such "self-implication". We prove a slightly stronger result, thereby confirming Meyer's conjecture. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1215/00294527-2008-013 | Notre Dame Journal of Formal Logic |
Keywords | Field | DocType |
bci logic,self-implication,sequent system | Computer science,Brain–computer interface,Algorithm,Artificial intelligence | Journal |
Volume | Issue | Citations |
49 | 3 | 3 |
PageRank | References | Authors |
0.52 | 4 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tomasz Kowalski | 1 | 124 | 24.06 |