Linear arithmetic desecsed

Logique Et Analyse 39:379-388 (1996)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,856

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2014-01-21

Downloads
21 (#540,470)

6 months
1 (#386,016)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Greg Restall
University of Melbourne

References found in this work

No references found.

Add more references

Citations of this work

Assertion, Denial and Non-Classical Theories.Greg Restall - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 81--99.
From Hilbert Proofs to Consecutions and Back.Tore Fjetland Øgaard - 2021 - Australasian Journal of Logic 18 (2):51-72.
Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 257--276.

Add more citations

Similar books and articles

Adding Linear Orders.Saharon Shelah & Pierre Simon - 2012 - Journal of Symbolic Logic 77 (2):717-725.
The Metamathematics of Scattered Linear Orderings.P. Clote - 1989 - Archive for Mathematical Logic 29 (1):9-20.
On a Question of Phillips.Çiǧdem Gencer & Mehmet Terziler - 1997 - Mathematical Logic Quarterly 43 (1):78-82.
Resplendent Models and $${\sigma_1^1}$$ -Definability with an Oracle.Andrey Bovykin - 2008 - Archive for Mathematical Logic 47 (6):607-623.
A Theory for Log-Space and NLIN Versus Co-NLIN.Chris Pollett - 2003 - Journal of Symbolic Logic 68 (4):1082-1090.
Classical Arithmetic as Part of Intuitionistic Arithmetic.Michael Potter - 1998 - Grazer Philosophische Studien 55 (1):127-41.