Decidability, Introduction Rules and Automata

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

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〉

Partager

Métriques

Consultations de la notice

182

Téléchargements de fichiers

79