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

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

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Areas of Mathematics in Philosophy of Mathematics

Theories of Mathematics in Philosophy of Mathematics

Theories of Mathematics, Misc in Philosophy of Mathematics

Keywords

Reprint years

Links

PhilArchive

Upload a copy of this work Papers currently archived: 93,932

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

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Arithmetic Formulated in a Logic of Meaning Containment.Ross Brady - 2021 - Australasian Journal of Logic 18 (5):447-472.

Arithmetic and Truth in Łukasiewicz’s Infinitely Valued Logic.Greg Restall - 1992 - Logique Et Analyse 139 (140):303-312.

Cut Elimination, Consistency, and Completeness in Classical Logic.L. E. Sanchis - 1971 - Logique Et Analyse 14:715-723.

Extensions of the basic constructive logic for negation-consistency BKc4.Gemma Robles - 2008 - Logique Et Analyse 51.

Relevant Containment Logics and Frame Problems.R. Sylvan - 1988 - Logique Et Analyse 31 (21):11.

Relevant Containment Logics and Certain Frame Problems of AI.R. Sylvan - 1988 - Logique Et Analyse 31:11-24.

A logic for theories in flux Laszlo Polos and Michael T. Hannan.Laszlo Polos - 2004 - Logique Et Analyse 185 (47):85-121.

Issman S.. Exposé de H. B. Curry. Logique et analyse , n.s. vol. 2 , pp. 30–31.Issman S.. Exposé de J. H. Woodger. Logique et analyse , n.s. vol. 2 , p. 31.Issman S.. Exposé de K. Ajdukiewicz. Logique et analyse , n.s. vol. 2 , pp. 31–34.Loreau J.. Discussions sur les rapports de MM. Scarpelli et Ross. Logique et analyse , n.s. vol. 2 , pp. 35–41.Loreau J.. Discussion générale. Logique et analyse , n.s. vol. 2 , pp. 44–47. [REVIEW]A. Robinson - 1960 - Journal of Symbolic Logic 25 (1):91-91.

Linear arithmetic desecsed.John K. Slaney, Robert K. Meyer & Greg Restall - 1996 - Logique Et Analyse 39:379-388.

On Herbrand consistency in weak arithmetic.Zofia Adamowicz & Paweł Zbierski - 2001 - Archive for Mathematical Logic 40 (6):399-413.

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

Ultralogic as Universal?: The Sylvan Jungle - Volume 4.Richard Routley - 2019 - Cham, Switzerland: Springer Verlag.

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