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

Gilles Dowek
Deduction modulo, interopérabilité et démonstration automatique
Ying Jiang
  • Fonction : Auteur
  • PersonId : 756687
  • IdRef : 15701195X
State Key Laboratory in Computer Science [Beijing]

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
classes.pdf (139.51 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-00919469

Soumis le : vendredi 17 janvier 2014-17:35:39

Dernière modification le : vendredi 21 janvier 2022-03:14:16

Archivage à long terme le : vendredi 18 avril 2014-11:22:31

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2
76 Consultations
39 Téléchargements

Partager

Gmail Facebook X LinkedIn More