Abstract | ||
---|---|---|
It is shown that the implicational fragment of Anderson and Belnap's R, i.e. Church's weak implicational calculus, is not uniquely characterized by MP (modus ponens), US (uniform substitution), and WDT (Church's weak deduction theorem). It is also shown that no unique logic is characterized by these, but that the addition of further rules results in the implicational fragment of R. A similar result for E is mentioned. |
Year | DOI | Venue |
---|---|---|
1987 | 10.1007/BF00372548 | Studia Logica |
Keywords | Field | DocType |
Mathematical Logic,Computational Linguistic,Modus Ponens,Deduction Theorem,Relevant Implication | Discrete mathematics,Deduction theorem,Modus ponens,Algorithm,Mathematics,Mathematical logic | Journal |
Volume | Issue | Citations |
46 | 3 | 1 |
PageRank | References | Authors |
0.69 | 0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Diderik Batens | 1 | 148 | 20.23 |