Contradiction within Pure Number Theory because of a System. Internal 'Consistency'-Deduction

International Logic Review 9:51 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

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

""Contradiction within Pure Number Theory because of a System-Internal" Consistency"-Deduction'.Eduard Wette - 1974 - International Logic Review 9:51-62.
Contradiction within Pure Number Theory Because of a System-Internal ‘Consitency'-Deduction.Eduard Wette - 1975 - Proceedings of the XVth World Congress of Philosophy 5:135-141.
Paraconsistent Logic: Consistency, Contradiction and Negation: Walter Carnielli and Marcelo E. Coniglio, New York, Springer International Publishing, 2016, xxiv + 398 pp., US$109.99 (pbk) ISBN-13: 978-3319814537. [REVIEW]Abilio Rodrigues - 2021 - History and Philosophy of Logic 42 (3):300-306.
Review: Paul Bernays, A. Kino, J. Myhill, R. E. Vesley, On the Original Gentzen Consistency Proof for Number Theory. [REVIEW]J. van Heijenoort - 1975 - Journal of Symbolic Logic 40 (1):95-95.
Direct consistency proof of Gentzen's system of natural deduction.Andrés R. Raggio - 1964 - Notre Dame Journal of Formal Logic 5 (1):27-30.
Book review: Carnielli, W., Coniglio, M. paraconsistent logic: Consistency, contradiction and negation. Logic, epistemology, and the unity of science series. [REVIEW]Henrique Antunes & Vincenzo Ciccarelli - 2018 - Manuscrito 41 (2):111-122.
Semantics-based Nonmonotonic Inference.Heinrich Wansing - 1995 - Notre Dame Journal of Formal Logic 36 (1):44-54.
Towards a canonical classical natural deduction system.José Espírito Santo - 2013 - Annals of Pure and Applied Logic 164 (6):618-650.
Beyond contradiction and consistency: A design for a dialectical policy system.Ian I. Mitroff, Harold Quinton & Richard O. Mason - 1983 - Theory and Decision 15 (2):107-120.
Paraconsistent Set Theory.Marcelo Coniglio, Walter Carnielli & Marcelo Esteban Coniglio - 2016 - In Walter Carnielli & Marcelo Esteban Coniglio (eds.), Paraconsistent Logic: Consistency, Contradiction and Negation. Basel, Switzerland: Springer International Publishing.

Analytics

Added to PP
2017-02-20

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

No citations found.

Add more citations

References found in this work

No references found.

Add more references