Linear arithmetic desecsed

, &
Logique Et Analyse 39:379-388 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

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

Introduction.Thomas Macaulay Ferguson & Graham Priest - 2021 - Australasian Journal of Logic 18 (5):132-145.
Gentzen-type systems for C,. K and several extensions of C and K.H. C. M. De Swart - 1980 - Logique Et Analyse 23 (90):263.
Gentzen-type systems for C, K and several extensions of C and K; constructive completeness proofs and effective decision procedure for these systems.H. C. M. de Swart - 1980 - Logique Et Analyse 90 (91):263-284.
Robert K. Meyer.Chris Mortensen - 2009 - Australasian Journal of Philosophy 87 (3):533 – 534.
Le concept de simplicité dans la philosophie Des sciences de K. Popper.Nicole Thyssen-Rutten - forthcoming - Logique Et Analyse.
M. J. Cresswell. The completeness of S0.5. Logique et analyse, n.s. vol. 9 , pp. 263–266. - Richard Routley. The decidability and semantical incompleteness of Lemmon's system S0.5. Logique et analyse, vol. 11 , pp. 413–421. - M. J. Cresswell. Note on the interpretation of SO.5. Logique et analyse, vol. 13 , pp. 376–378. - M. K. Rennie. Remark on Cresswell on S0.5. Logique et analyse, vol. 14 , pp. 757–758. [REVIEW]G. F. Schumm - 1973 - Journal of Symbolic Logic 38 (2):328-329.
Review: Robert K. Meyer, J. Michael Dunn, E, R and $gamma$. [REVIEW]David Makinson - 1971 - Journal of Symbolic Logic 36 (3):521-522.
Incompleteness of a Free Arithmetic.E. Bencivenga - 1988 - Logique Et Analyse 31 (21):79.
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.

Analytics

Added to PP
2014-01-21

Downloads
21 (#1,010,345)

6 months
21 (#142,105)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Greg Restall
University of Melbourne

Citations of this work

Assertion, denial and non-classical theories.Greg Restall - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 81--99.
Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic.Koji Tanaka - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 15--25.
Distribution in the logic of meaning containment and in quantum mechanics.Ross T. Brady & Andrea Meinander - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 223--255.
Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices.Michèle Friend - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 277--307.

View all 20 citations / Add more citations

References found in this work

No references found.

Add more references