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

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

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?
Fichier principal
Vignette du fichier
whatdoweknow.pdf (203.73 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

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⟩
24 Consultations
9 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More