Tesis profesional presentada por José Abel Castellanos Joo [jose.castellanosjo@udlap.mx]

Licenciatura en Ingeniería Electrónica y Sistemas Inteligentes. Departamento de Computación, Electrónica y Mecatrónica. Escuela de Ingeniería, Universidad de las Américas Puebla.

Jurado Calificador

Presidente: Dr. Gerardo Ayala San Martín
Secretario y Director: Dr. Mauricio Javier Osorio Galindo
Vocal: Dr. Roberto Rosas Romero

Cholula, Puebla, México a 8 de diciembre de 2014.

Palabras clave: paraconsistencia, lógica no clásica.

Índice de contenido

Agradecimientos (archivo pdf, 67 kb)

Índices (archivo pdf, 115 kb)

Capítulo 1. Introducción (archivo pdf, 120 kb)

Capítulo 2. Preliminares (archivo pdf, 245 kb)

  • 2.1 Definiciones Básicas de Lógica
  • 2.2 Lógicas Multivaluadas
  • 2.3 Aspectos Generales de Lógica

Capítulo 3. La Lógica Proposicional Paraconsistente C1 (archivo pdf, 335 kb)

  • 3.1 El Cálculo Proposicional de C1
  • 3.2 Algunos Teoremas de C1
  • 3.3 Algunas Fórmulas no Demostrables en C1
  • 3.4 Teorema de Sustitución en C1
  • 3.5 Negación Fuerte de C1
  • 3.6 Posibles Extensiones de C1
  • 3.7 La Jerarquía Cn
  • 3.8 Una Jerarquía Adicional

Capítulo 4. Lógica de Predicados Paraconsistente de C*1 (archivo pdf, 362 kb)

  • 4.1 Definiciones Elementales del Cálculo de Predicados
  • 4.2 El Cálculo de Predicados de C*1
  • 4.3 El Cálculo de Predicados con Igualdad C=1
  • 4.4 Aplicaciones del Cálculo de Predicados

Capítulo 5. Conclusiones (archivo pdf, 107 kb)

Referencias (archivo pdf, 121 kb)

Apéndice A. Demostraciones Auxiliares (archivo pdf, 199 kb)

Apéndice B. Software para Validación de Resultados (archivo pdf, 303 kb)

Apéndice C. Códigos Auxiliares (archivo pdf, 238 kb)

Castellanos Joo, J. A. 2014. Revisitando C1. Tesis Licenciatura. Ingeniería Electrónica y Sistemas Inteligentes. Departamento de Computación, Electrónica y Mecatrónica, Escuela de Ingeniería, Universidad de las Américas Puebla. Diciembre. Derechos Reservados © 2014.