What do we know when we know that a theory is consistent? - Laboratoire Méthodes Formelles Access content directly
Preprints, Working Papers, ... Year : 2005

What do we know when we know that a theory is consistent?

Gilles Dowek
  • Function : Author
  • PersonId : 1241427
Deduction modulo, interopérabilité et démonstration automatique

Abstract

Given a first-order theory and a proof that it is consistent, can we design a proof-search method for this theory that fails in finite time when it attempts to prove the formula False?

Domains

Logic in Computer Science [cs.LO]
Fichier principal
Vignette du fichier
whatdoweknow.pdf (203.73 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Gilles Dowek  : Connect in order to contact the contributor

https://inria.hal.science/hal-04099146

Submitted on : Tuesday, May 16, 2023-4:05:26 PM

Last modification on : Friday, May 17, 2024-4:22:05 PM

Download

Dates and versions

hal-04099146 , version 1 (16-05-2023)

Identifiers

Cite

Gilles Dowek. What do we know when we know that a theory is consistent?. 2005. ⟨hal-04099146⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN INRIA2 ENS-PARIS-SACLAY LMF
22 View
8 Download

Altmetric

Share

Gmail Facebook X LinkedIn More