Axiomatizing truth in a finite model

Abstract : Given a nite model, we build an axiomatic theory such that the propositions provable in this theory are those valid in the model. We sketch applications to automated theorem proving.
Type de document :
Pré-publication, Document de travail
2014
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00919469
Contributeur : Gilles Dowek <>
Soumis le : vendredi 17 janvier 2014 - 17:35:39
Dernière modification le : vendredi 25 mai 2018 - 12:02:06
Document(s) archivé(s) le : vendredi 18 avril 2014 - 11:22:31

Fichier

classes.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00919469, version 1

Collections

Citation

Gilles Dowek, Ying Jiang. Axiomatizing truth in a finite model. 2014. 〈hal-00919469〉

Partager

Métriques

Consultations de la notice

150

Téléchargements de fichiers

69