SciELO - Scientific Electronic Library Online

 
vol.23 número1Los teoremas de tychonoff y de los productos conexos son equivalentesCódigo de generación de ecuaciones magnetohidrodinámicas (MHD) índice de autoresíndice de materiabúsqueda de artículos
Home Pagelista alfabética de revistas  

Servicios Personalizados

Revista

Articulo

Indicadores

Links relacionados

  • No hay articulos similaresSimilares en SciELO

Compartir


Revista de Matemática Teoría y Aplicaciones

versión impresa ISSN 1409-2433

Resumen

MARTINEZ, Iveth  y  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.

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

        · resumen en Español     · texto en Español     · Español ( pdf )