What do we know when we know that a theory is consistent? - Laboratoire Méthodes Formelles
Pré-Publication, Document De Travail Année : 2005

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

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

Résumé

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?

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
whatdoweknow.pdf (203.73 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Gilles Dowek  : Connectez-vous pour contacter le contributeur

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

Soumis le : mardi 16 mai 2023-16:05:26

Dernière modification le : vendredi 17 mai 2024-16:22:05

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN INRIA2 ENS-PARIS-SACLAY LMF
35 Consultations
15 Téléchargements

Altmetric

Partager

More