Abstract
In classical logic everything follows from inconsistency and this makes classical logic problematic in areas of computer science where contradictions seem unavoidable. We describe a many-valued paraconsistent logic, discuss the truth tables and include a small case study.
| Original language | English |
|---|---|
| Title of host publication | 8th Scandinavian Logic Symposium : Abstracts |
| Editors | Patrick Blackburn, Klaus Frovin Jørgensen, Neil Jones, Erik Palmgren |
| Publication date | 2012 |
| Pages | 59-61 |
| Publication status | Published - 2012 |
| Event | 8th Scandinavian Logic Symposium - Roskilde University, Roskilde, Denmark Duration: 20 Aug 2012 → 21 Aug 2012 http://scandinavianlogic.weebly.com/ |
Conference
| Conference | 8th Scandinavian Logic Symposium |
|---|---|
| Location | Roskilde University |
| Country/Territory | Denmark |
| City | Roskilde |
| Period | 20/08/2012 → 21/08/2012 |
| Internet address |