Decidability, Introduction Rules and Automata

Gilles Dowek 1, * Ying Jiang 2
* Auteur correspondant
1 DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
Inria Paris-Rocquencourt
2 LCS - State Key Laboratory of Computer Science [Beijing]
Abstract : We present a method to prove the decidability of provability in several well-known inference systems. This method generalizes both cut-elimination and the construction of an automaton recognizing the provable propositions.
Type de document :
Communication dans un congrès
International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Bula, Fiji. 2015, International Conferences on Logic for Programming, Artificial Intelligence and Reasoning. 〈10.1007/978-3-662-48899-7_8〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01252135
Contributeur : Gilles Dowek <>
Soumis le : jeudi 7 janvier 2016 - 11:50:58
Dernière modification le : vendredi 25 mai 2018 - 12:02:06
Document(s) archivé(s) le : vendredi 8 avril 2016 - 13:19:41

Fichiers

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

Identifiants

Collections

INRIA | INRIA-ROCQ

Citation

Gilles Dowek, Ying Jiang. Decidability, Introduction Rules and Automata. International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Bula, Fiji. 2015, International Conferences on Logic for Programming, Artificial Intelligence and Reasoning. 〈10.1007/978-3-662-48899-7_8〉. 〈hal-01252135〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

182

Téléchargements de fichiers

79

Contact


archive-ouverte@inria.fr