Usted está en: Inicio / Archivo de Proyectos de Investigación CIMI - Investigaciones de Matemáticas / Tableaux para las extensiones de los sistemas Lewis S2, S3 y sus extensiones S6, S7, S8 y S9. Programación del algoritmo

  Tableaux_extensiones_sistemas_lewis_s2

Programa de Matemáticas

Línea de Investigación: Matemáticas Puras

Por: Luz Amparo Carranza Guerrero

Dicho semánticamente, el método permite comprobar la validez o invalidez de una fórmula en la clase de modelos de la lógica. La lógica modal es una extensión de la lógica clásica en la que se han introducido operadores modales, como la necesidad y la posibilidad.

En 1912, C.I. Lewis define un nuevo condicional al que llama implicación estricta; este se define en términos del condicional material y la noción de necesidad. Las combinaciones de los axiomas planteados por Lewis proporcionaron diferentes lógicas normales; entre las más conocidas están K, T, B, S4, S5. Presentaremos lógicas no normales, S1, S2 y S3 y algunas extensiones suyas S6, S7 S8 y S9. Estas lógicas poseen la característica común de carecer de la regla de necesidad.

Publicado por Fundación Universitaria Konrad Lorenz El día 08/10/2016 Enlace permanente Comentarios (0)