Inconsistent models of arithmetic part I: Finite models

Journal of Philosophical Logic

Volumn 26, Issue 2, 1997, Pages 223-235

  Priest, Graham ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0039113394     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1004251506208     Document Type: Article

References (11)

1. van Bendegem, Jean-Paul (1993): Strict, yet rich finitism, pp. 61-79 of Z. W. Wolkowski (ed.) First International Symposium on Gödel's Theorems, World Scientific, Singapore.
2. Boolos, G. and Jeffrey, R. (1984): Computability and Logic, Cambridge University Press, Cambridge.
3. Dunn, J. M. (1979): A theorem in 3-valued model theory, with connections to number theory, type theory and relevance logic, Studia Logica 38, 149-169.
4. Kaye, R. (1991): Models of Peano Arithmetic, Clarendon Press, Oxford.
5. Meyer, R. K. (1978): Relevant arithmetic, Bulletin of the Section of Logic, Polish Academy of Sciences 5, 133-137.
6. Meyer, R. K. and Mortensen, C. (1984): Inconsistent models for relevant arithmetic, Journal of Symbolic Logic 49, 917-929.
7. Mortensen, C. (1995): Inconsistent Mathematics, Kluwer Academic Publishers, Dordrecht.
8. Priest, G. (1987): In Contradiction, Nijhoff, Dordrecht.
9. Priest, G. (1991): Minimally inconsistent LP, Studia Logica 50, 321-331.
10. Priest, G. (1994): Is arithmetic consistent?, Mind 103, 337-349.
11. Priest, G., Routley, R. and Norman, J. (1989): Paraconsistent Logics, Philosophia Verlag, Munich.