Lógica básica paraconsistente y paracompleta y algunas de sus extensiones

Lógica básica paraconsistente y paracompleta y algunas de sus extensiones

Detalles Bibliográficos
Autor principal: Sierra Aristizábal, Manuel (-)
Formato: Libro electrónico
Idioma:Castellano
Publicado: Bogotá : Red Universidad Eafit 2006.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009855360706719
Tabla de Contenidos:
  • LÓGICA BÁSICA PARACONSISTENTE Y PARACOMPLETA Y ALGUNAS DE SUS EXTENSIONES
  • Palabras claves
  • Abstract
  • Introducción
  • 1. Sistema deductivo para la Lógica Básica Paraconsistente y Paracompleta1
  • 1.1 Axiomas para la lógica positiva clásica
  • 1.2 Axiomas para la negación clásica (~)
  • 1.3 Axiomas para la negación básica paraconsistente y paracompleta (¬)
  • 1.4 Algunos teoremas
  • 1.5 Resumen de resultados importantes
  • 2. Sistema Deductivo para la Lógica Básica Paraconsistente LBPc
  • 2.1 Algunos teoremas para la Lógica Básica Paraconsistente
  • 2.2 Resumen de resultados importantes
  • 3. Sistema Deductivo para la Lógica Básica Paracompleta LBPo
  • 3.1 Algunos teoremas para la Lógica Básica Paracompleta
  • 3.2 Resumen de resultados importantes
  • 4. Lógica Positiva Paraconsistente y Paracompleta
  • 4.1 Preservación16 de la incompatibilidad y la completez en la Lógica Básica Paraconsistente y Paracompleta
  • 4.2 Axiomas para la negación positiva paraconsistente y paracompleta
  • 4.3 Algunos teoremas para la Lógica Positiva Paraconsistente y Paracompleta
  • 4.4 Lógica Positiva Paraconsistente LPPc
  • 5. Lógica Paraconsistente y Paracompleta LPco
  • 5.1 Lógica Paraconsistente LPc
  • 5.2 Lógica Paracompleta LPo
  • 6. Lógica Básica Paraconsistente y Paracompleta Débil a nivel Atómico LBPcoDA
  • 6.1 Algunos teoremas para la Lógica Básica Paraconsistente y Paracompleta Débil a nivel Atómico
  • 6.2 Lógica Básica Paraconsistente Débil a nivel Atómico LBPcDA
  • 6.3 Lógica Básica Paracompleta Débil a nivel Atómico LBPoDA
  • 7. Lógica Paraconsistente y Paracompleta a nivel Atómico LPcoA
  • 7.1 Lógica Paraconsistente a nivel Atómico LPcA
  • 7.2 Lógica Paracompleta a nivel Atómico LPoA
  • 8. Retículo de contenencias
  • Conclusiones
  • Bibliografía.

Ejemplares similares