Proof by consistency

&
Artificial Intelligence 31 (2):125-157 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(87)90017-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

The consistency of arithmetic.Storrs McCall - manuscript
A Simple Proof that Super-Consistency Implies Cut Elimination.Gilles Dowek & Olivier Hermant - 2012 - Notre Dame Journal of Formal Logic 53 (4):439-456.
Propositional consistency proofs.Samuel R. Buss - 1991 - Annals of Pure and Applied Logic 52 (1-2):3-29.
Short Proofs for Slow Consistency.Anton Freund & Fedor Pakhomov - 2020 - Notre Dame Journal of Formal Logic 61 (1):31-49.
Extending the First Gentzen's Consistency Proof to the Intuitionistic Case.María Pallares - 2004 - Logic Journal of the IGPL 12 (6):549-560.
On the philosophical significance of consistency proofs.Michael D. Resnik - 1974 - Journal of Philosophical Logic 3 (1/2):133 - 147.
The relative consistency of system RRC* and some of its extensions.Max A. Freund - 1994 - Studia Logica 53 (3):351 - 360.
Propositional Proof Systems and Fast Consistency Provers.Joost J. Joosten - 2007 - Notre Dame Journal of Formal Logic 48 (3):381-398.
On Kalmar's consistency proof and a generalization of the notion of ω-consistency.George S. Boolos - 1975 - Archive for Mathematical Logic 17 (1-2):3-7.
Lorenzen's Proof of Consistency for Elementary Number Theory.Thierry Coquand & Stefan Neuwirth - 2020 - History and Philosophy of Logic 41 (3):281-290.
Gentzen’s consistency proof without heightlines.Annika Siders - 2013 - Archive for Mathematical Logic 52 (3-4):449-468.
How to prove the consistency of arithmetic.Jaakko Hintikka & Besim Karakadilar - 2006 - Acta Philosophica Fennica 78:1.
A consistency proof for elementary algebra and geometry.Harvey Friedman - 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.
Gödel's reformulation of Gentzen's first consistency proof for arithmetic: The no-counterexample interpretation.W. W. Tait - 2005 - Bulletin of Symbolic Logic 11 (2):225-238.

Analytics

Added to PP
2020-12-22

Downloads
10 (#1,165,120)

6 months
8 (#342,364)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proving semantic properties as first-order satisfiability.Salvador Lucas - 2019 - Artificial Intelligence 277 (C):103174.

Add more citations

References found in this work

No references found.

Add more references