Axiomatizing truth in a finite model - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2014

Axiomatizing truth in a finite model

Résumé

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

Dates et versions

hal-00919469 , version 1 (17-01-2014)

Identifiants

  • HAL Id : hal-00919469 , version 1

Citer

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

Collections

INRIA INRIA2
77 Consultations
42 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More