Inconsistent Models of Arithmetic Part I: Finite Models
- 104 Downloads
The paper concerns interpretations of the paraconsistent logic LP which model theories properly containing all the sentences of first order arithmetic. The paper demonstrates the existence of such models and provides a complete taxonomy of the finite ones.
Unable to display preview. Download preview PDF.