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 |