Decidability, Introduction Rules and Automata - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2015

Decidability, Introduction Rules and Automata

Gilles Dowek
Connectez-vous pour contacter l'auteur
Deduction modulo, interopérabilité et démonstration automatique
Ying Jiang
  • Fonction : Auteur
  • PersonId : 756687
  • IdRef : 15701195X
State Key Laboratory of Computer Science [Beijing]

Résumé

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
intro.pdf (178.87 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-01252135

Soumis le : jeudi 7 janvier 2016-11:50:58

Dernière modification le : jeudi 28 novembre 2024-14:50:02

Archivage à long terme le : vendredi 8 avril 2016-13:19:41

Télécharger pour visualiser

Dates et versions

hal-01252135 , version 1 (07-01-2016)

Identifiants

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2
61 Consultations
183 Téléchargements

Altmetric

Partager

More