What do we know when we know that a theory is consistent? - Inria - Institut national de recherche en sciences et technologies du numérique 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⟩
22 Consultations
7 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More