- 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
Revisiting $\mathbb{Z}$
Notre Dame Journal of Formal Logic 55 (1):129-155 (2014)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
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
The modal logic of {beta(mathbb{N})}.Guram Bezhanishvili & John Harding - 2009 - Archive for Mathematical Logic 48 (3-4):231-242.
Quotients of Boolean algebras and regular subalgebras.B. Balcar & T. Pazák - 2010 - Archive for Mathematical Logic 49 (3):329-342.
Parameterized partition relations on the real numbers.Joan Bagaria & Carlos A. Di Prisco - 2009 - Archive for Mathematical Logic 48 (2):201-226.
Maximally embeddable components.Miloš S. Kurilić - 2013 - Archive for Mathematical Logic 52 (7-8):793-808.
Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term.Roberto Cignoli & Antoni Torrens - 2012 - Studia Logica 100 (6):1107-1136.
Borel reducibility and Hölder(α) embeddability between Banach spaces.Longyun Ding - 2012 - Journal of Symbolic Logic 77 (1):224-244.
Undecidable extensions of Skolem arithmetic.Alexis Bes & Denis Richard - 1998 - Journal of Symbolic Logic 63 (2):379-401.
Reducts of some structures over the reals.Ya′Acov Peterzil - 1993 - Journal of Symbolic Logic 58 (3):955-966.
On the failure of BD-ࡃ and BD, and an application to the anti-Specker property.Robert S. Lubarsky - 2013 - Journal of Symbolic Logic 78 (1):39-56.
Analytics
Added to PP
2014-01-23
Downloads
61 (#986,751)
6 months
16 (#710,878)
2014-01-23
Downloads
61 (#986,751)
6 months
16 (#710,878)
Historical graph of downloads
Citations of this work
A family of genuine and non-algebraisable C-systems.Mauricio Osorio, Aldo Figallo-Orellano & Miguel Pérez-Gaspar - 2021 - Journal of Applied Non-Classical Logics 31 (1):56-84.
Revisiting da Costa logic.Mauricio Osorio Galindo, Verónica Borja Macías & José Ramón Enrique Arrazola Ramírez - 2016 - Journal of Applied Logic 16 (C):111-127.
Weakening and Extending {mathbb{Z}}.Mauricio Osorio, J. L. Carballido, C. Zepeda & J. A. Castellanos - 2015 - Logica Universalis 9 (3):383-409.
Paraconsistency, self-extensionality, modality.Arnon Avron & Anna Zamansky - 2020 - Logic Journal of the IGPL 28 (5):851-880.
References found in this work
Formal inconsistency and evolutionary databases.Walter A. Carnielli, João Marcos & Sandra De Amo - 2000 - Logic and Logical Philosophy 8 (2):115-152.
Limits for Paraconsistent Calculi.Walter A. Carnielli & João Marcos - 1999 - Notre Dame Journal of Formal Logic 40 (3):375-390.
Paraconsistent logic from a modal viewpoint.Jean-Yves Béziau - 2005 - Journal of Applied Logic 3 (1):7-14.
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.Ofer Arieli, Arnon Avron & Anna Zamansky - 2011 - Studia Logica 97 (1):31-60.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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