Name
Abstract | ||
|---|---|---|
BB′IW logic (or T→ is known to be D-complete. This paper shows that there are infinitely many weaker D-complete logics and it also examines how certain D-incomplete logics can be made complete by altering their axioms using simple substitutions. |
Year | DOI | Venue |
|---|---|---|
1996 | 10.1093/jigpal/4.2.215 | Logic Journal of the IGPL |
Keywords | Field | DocType |
condensed detachment | Axiom,Pure mathematics,Mathematics | Journal |
Volume | Issue | ISSN |
4 | 2 | 1367-0751 |
Citations | PageRank | References |
1 | 0.38 | 3 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Norman D. Megill | 1 | 5 | 1.85 |
| Martin W. Bunder | 2 | 64 | 16.78 |