Predicative CL$^-$: a good paraconsistent alternative to classical logic
| Speaker(s) | Peter Verdée |
|---|---|
| Date | 28 July 2008 |
| Place | Melbourne, Australia |
| Occasion | The Fourth World Congress of Paraconsistency |
| Category | Contributed |
| Speaker(s) | Peter Verdée |
|---|---|
| Date | 28 July 2008 |
| Place | Melbourne, Australia |
| Occasion | The Fourth World Congress of Paraconsistency |
| Category | Contributed |