Axiomatizing truth in a finite model - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2014

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.
Fichier principal
Vignette du fichier
classes.pdf (139.51 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00919469 , version 1

Cite

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

Collections

INRIA INRIA2
76 View
39 Download

Share

Gmail Facebook X LinkedIn More