The consistency of arithmetic, based on a logic of meaning containment

Logique Et Analyse 55 (219):353-383 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Relevant implication and the case for a weaker logic.Ross T. Brady - 1996 - Journal of Philosophical Logic 25 (2):151 - 183.
"True" arithmetic can prove its own consistency.Andrew Boucher -
The consistency of arithmetic.Storrs McCall - manuscript
On the Herbrand Notion of Consistency for Finitely Axiomatizable Fragments of Bounded Arithmetic Theories.Leszek Aleksander Kołodziejczyk - 2006 - Journal of Symbolic Logic 71 (2):624 - 638.
Proving consistency of equational theories in bounded arithmetic.Arnold Beckmann† - 2002 - Journal of Symbolic Logic 67 (1):279-296.
What is Wrong with Cantor's Diagonal Argument?R. T. Brady & P. A. Rush - 2008 - Logique Et Analyse 51 (1):185-219..
On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency.Dan E. Willard - 2006 - Journal of Symbolic Logic 71 (4):1189-1199.
The simple consistency of a set theory based on the logic ${\rm CSQ}$.Ross T. Brady - 1983 - Notre Dame Journal of Formal Logic 24 (4):431-449.
On the Consistency of a Plural Theory of Frege’s Grundgesetze.Francesca Boccuni - 2011 - Studia Logica 97 (3):329-345.
Relevant Robinson's arithmetic.J. Michael Dunn - 1979 - Studia Logica 38 (4):407 - 418.
Update Procedures and the 1-Consistency of Arithmetic.Jeremy Avigad - 2002 - Mathematical Logic Quarterly 48 (1):3-13.
Equivalence of F with a sub-theory of peano arithmetic.Andrew Boucher - manuscript
A Natural First-Order System of Arithmetic Which Proves Its Own Consistency.Andrew Boucher - manuscript
Fragment of nonstandard analysis with a finitary consistency proof.Michal Rössler & Emil Jeřábek - 2007 - Bulletin of Symbolic Logic 13 (1):54-70.

Analytics

Added to PP
2013-10-29

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General.Ross T. Brady - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):755--781.
The Simple Consistency of Naive Set Theory using Metavaluations.Ross T. Brady - 2014 - Journal of Philosophical Logic 43 (2-3):261-281.
Metavaluations.Ross T. Brady - 2017 - Bulletin of Symbolic Logic 23 (3):296-323.
Berry's Paradox... Again.Graham Priest - 2019 - Australasian Journal of Logic 16 (2):41-48.

Add more citations

References found in this work

No references found.

Add more references