Strict-weak languages: an analysis of strict implication
Félix Bou Moliner · TDX (Tesis Doctorals en Xarxa) · 2004
Esta tesis docotral introduce los aqui llamados lenguajes estricto-debiles, y los analiza desde diversos puntos de vista,Los lenguajes estricto debiles son aquellos lenguajes formales que constan de conjuncion , disyuncion , falsum , verum, y adicionalmente de una cantidad indeterminada de conectivas que sematicamente se interpretan en las estructuras de Kripke como diferencias debiles.Estos lenguajes nos dan un fragmento de los habituales lenguajes modales puesto que: Donde es la implicacion material y es la diferencia material.Para el caso en que hay una sola implicacion estricta y ninguna diferencia debil resulta que la clausula semantica para la implicacion estrica que obtenemos es bien conocida, coincide con la de la logica proposicional intuicionista (y con la de otros muchos ejemplos). Los lenguajes estricto-debiles se analizan en la tesis doctoral, desde tres puntos de vista diferentes:teoria de modelos (donde se introduce la nocion de quasi bisimilaridad), teoria de la prueba (donde se introduce la nocion de logica estricto-debil)y commputabilidad (se caracterizan las clases de complejidad para las logicas estricto-debil).Los resultados obtenidos desde estas tres vertientes sugieren que aunque los lenguajes estricto-debiles son un fragmento de los lenguajes modales, en muchas ocasiones un conocimiento de lo que sucede para dichos fragmentos nos aporta informacion sobre lo que ocurre en la totalidad de los lenguajes modales (incluso fuera de los fragmentos anteriores).