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.
CITATION STYLE
Priest, G. (1997). Inconsistent models of arithmetic part I: Finite models. Journal of Philosophical Logic, 26(2), 223–235. https://doi.org/10.1023/A:1004251506208
Mendeley helps you to discover research relevant for your work.