- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Inconsistent models of arithmetic part I: Finite models [Book Review]
Journal of Philosophical Logic 26 (2):223-235 (1997)
Abstract
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 onesAuthor's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Possible m-diagrams of models of arithmetic.Andrew Arana - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001.
Inconsistent nonstandard arithmetic.Chris Mortensen - 1987 - Journal of Symbolic Logic 52 (2):512-518.
Models of intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
The complexity of classification problems for models of arithmetic.Samuel Coskey & Roman Kossak - 2010 - Bulletin of Symbolic Logic 16 (3):345-358.
Regularity in models of arithmetic.George Mills & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):272-280.
Models of arithmetic and upper Bounds for arithmetic sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.
Some remarks on initial segments in models of peano arithmetic.Henryk Kotlarski - 1984 - Journal of Symbolic Logic 49 (3):955-960.
Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
Analytics
Added to PP
2009-01-28
Downloads
97 (#179,971)
6 months
28 (#110,799)
2009-01-28
Downloads
97 (#179,971)
6 months
28 (#110,799)
Historical graph of downloads
Author's Profile
Citations of this work
Paraconsistency: Logic and Applications.Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.) - 2013 - Dordrecht, Netherland: Springer.
Ultralogic as Universal?: The Sylvan Jungle - Volume 4.Richard Routley - 2019 - Cham, Switzerland: Springer Verlag.
The ontological commitments of inconsistent theories.Mark Colyvan - 2008 - Philosophical Studies 141 (1):115 - 123.
References found in this work
In contradiction: a study of the transconsistent.Graham Priest - 1987 - New York: Oxford University Press.
Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 1980 - New York: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
Paraconsistent Logic: Essays on the Inconsistent.Graham Priest, Richard Routley & Jean Norman (eds.) - 1989 - Philosophia Verlag.
Computability and Logic.G. S. Boolos & R. C. Jeffrey - 1977 - British Journal for the Philosophy of Science 28 (1):95-95.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-dmxst uwo