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

Decidability, Introduction Rules and Automata

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.
Fichier principal
Vignette du fichier
intro.pdf (178.87 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

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⟩

Collections

INRIA INRIA2
57 Consultations
176 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More