Conference paper
Paraconsistent Computational Logic
In
8th Scandinavian Logic Symposium
—
2012, pp. 59-61
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.
| Language: | English |
|---|---|
| Year: | 2012 |
| Pages: | 59-61 |
| Proceedings: | 8th Scandinavian Logic Symposium |
| Journal subtitle: | Abstracts |
| Types: | Conference paper |
| ORCIDs: | Villadsen, Jørgen |
