Abstract | ||
---|---|---|
We exhibit a simple inference rule, which is admissible but not derivable in BCK, proving that BCK is not structurally complete. The argument is proof-theoretical. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1215/00294527-2420642 | NOTRE DAME JOURNAL OF FORMAL LOGIC |
Keywords | Field | DocType |
BCK logic,structural completeness,admissible rules | Discrete mathematics,Algebra,Algorithm,Mathematics | Journal |
Volume | Issue | ISSN |
55 | 2 | 0029-4527 |
Citations | PageRank | References |
1 | 0.36 | 3 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tomasz Kowalski | 1 | 124 | 24.06 |