Tesis profesional presentada por Adolfo Aguilar Rico

Maestría en Ciencias con Especialidad en Ingeniería en Sistemas Computacionales. Departamento de Ingeniería en Sistemas Computacionales. Escuela de Ingeniería, Universidad de las Américas Puebla.

Jurado Calificador

Presidente: Dr. Rogelio Dávila Pérez
Vocal y Director: Dr. Mauricio Javier Osorio Galindo
Secretario: Dr. Fernando Antonio Aguilera Ramírez

Cholula, Puebla, México a 5 de junio de 2001.

Índice de contenido

Introducción (archivo pdf, 203 kb)

Capítulo 1. Preliminares (archivo pdf, 203 kb)

  • 1.1 Cálculo proposicional
  • 1.2 Programas definidos y programas normales
  • 1.3 Puntos Fijos

Capítulo 2. Algunas caracterizaciones de lógicas y semánticas (archivo pdf, 203 kb)

  • 2.1 Lógicas no monótonas
  • 2.2 Razonamiento revisable
  • 2.3 LP-Semánticas

Capítulo 3. Hacia las lógicas Intermedias (archivo pdf, 203 kb)

  • 3.1 Lógica intuicionista
  • 3.2 Teorema de extensión para teorías intuicionistas
  • 3.3 Negación-Estable en programación lógica
  • 3.4 Lógica Intermedia

Capítulo 4. Independencia y Excepcionalidad (archivo pdf, 203 kb)

  • 4.1 Formas declarativas excepcionales
  • 4.2 Independencia de axiomas
  • 4.3 Descripción y ejemplos del software
  • 4.4 Paralelización del software

Capítulo 5. Conclusión (archivo pdf, 203 kb)

Referencias (archivo pdf, 203 kb)

Aguilar Rico, A. 2001. Extensiones de las semánticas estables. Tesis Maestría. Ciencias con Especialidad en Ingeniería en Sistemas Computacionales. Departamento de Ingeniería en Sistemas Computacionales, Escuela de Ingeniería, Universidad de las Américas Puebla. Junio. Derechos Reservados © 2001.