SciELO - Scientific Electronic Library Online

 
vol.23 número1Tychonoff and connected products theorems are equivalentMagnetohydrodynamic equations (MHD) generation code índice de autoresíndice de assuntospesquisa de artigos
Home Pagelista alfabética de periódicos  

Serviços Personalizados

Journal

Artigo

Indicadores

Links relacionados

  • Não possue artigos similaresSimilares em SciELO

Compartilhar


Revista de Matemática Teoría y Aplicaciones

versão impressa ISSN 1409-2433

Resumo

MARTINEZ, Iveth  e  PIZA, Eduardo. Decision problems and recursiveness in formal logic systems. Rev. Mat [online]. 2016, vol.23, n.1, pp.11-39. ISSN 1409-2433.

The recursion theory states that a decision problem is recursively solvable if there is a mechanical process to solve it. Within the context of formal logic, the decision problem consist to determine whether any wellformed formula of the system is a theorem or not.

This paper first discusses, among other things, the famous problem of decision of the canonical first-order logic F0 (also called Entscheidungsproblem) from a modern perspective. Then we study the decision problem of the partial propositional logics. It exploits the development achieved by recursion theory and semi-Thue production systems after the work of Post and Kleene in the 40's and Davis in the early 70's, among others, to explain a solution to these decision problems.

Palavras-chave : decision problems; formal logic; first-order logic; Entscheidungsproblem; partial propositional logics; semi-Thue production systems.

        · resumo em Espanhol     · texto em Espanhol     · Espanhol ( pdf )