An axiomatizable predicative paraconsistent logic close to classical logic
| Speaker(s) | Peter Verdée |
|---|---|
| Date | 13 May 2011 |
| Place | Petropolis, Brazil |
| Occasion | Brazilian Logic Conference 2011 |
| Category | Contributed |
| Speaker(s) | Peter Verdée |
|---|---|
| Date | 13 May 2011 |
| Place | Petropolis, Brazil |
| Occasion | Brazilian Logic Conference 2011 |
| Category | Contributed |