Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning
| Date first appeared online | 31/12/2018 |
| DOI | 10.1093/logcom/exy019 |
| Authors | Beckmann A. |
| Journal Name | Journal of Logic and Computation |
| Volume | 28 |
| Date first appeared online | 31/12/2018 |
| DOI | 10.1093/logcom/exy019 |
| Authors | Beckmann A. |
| Journal Name | Journal of Logic and Computation |
| Volume | 28 |