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.
https://hal.inria.fr/hal-01252135 Contributor : Gilles DowekConnect in order to contact the contributor Submitted on : Thursday, January 7, 2016 - 11:50:58 AM Last modification on : Friday, January 21, 2022 - 3:13:55 AM Long-term archiving on: : Friday, April 8, 2016 - 1:19:41 PM
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⟩