Minimal Truth Predicate and Consistency for Free - HAL Accéder directement au contenu
Communication dans un congrès Année : 2010

Minimal Truth Predicate and Consistency for Free

Mots clés

Loading...
Fichier non déposé

Dates et versions

halshs-00792186, version 1 (21-02-2013)

Identifiants

  • HAL Id : halshs-00792186 , version 1

Citer

Henri Galinon. Minimal Truth Predicate and Consistency for Free. PALMYR IX: Logic and the Use of Language, Jun 2010, Amsterdam, Netherlands. ⟨halshs-00792186⟩
29 Consultations
0 Téléchargements
Dernière date de mise à jour le 28/04/2024
comment ces indicateurs sont-ils produits

Partager

Gmail Facebook Twitter LinkedIn Plus