DOES THE IMPLICATION ELIMINATION RULE NEED A MINOR PREMISE?
Saved in:
| Title: | DOES THE IMPLICATION ELIMINATION RULE NEED A MINOR PREMISE? |
|---|---|
| Authors: | Francez, Nissim1 francez@cs.technion.ac.il |
| Source: | Logic & Logical Philosophy. Sep2018, Vol. 27 Issue 3, p351-373. 23p. |
| Database: | Mathematics Source |
| ISSN: | 14253305 |
|---|---|
| DOI: | 10.12775/LLP.2017.019 |