Tesis
Una expansión implicativa de la matriz tetravaluada de Belnap
Editorial: Universidad de Salamanca
Licencia: Creative Commons (by-nc-nd)
Autor(es): Blanco, José
Licencia: Creative Commons (by-nc-nd)
Autor(es): Blanco, José
Hacia el final de su vida el gran lógico polaco J. Lukasiewicz desarrollaría el sistema modal tetravaluado conocido como L. Este sistema verificaba tesis como, enclavadas dentro de las paradojas modales fuertes tipo Lukasiewicz. El sistema fue ampliamente criticado por la verificación de dichas tesis.
[2018]
Compartir:
Esta es una vista previa de los documentos vistos recientemente por el usuario.
Una vez que el usuario haya visto al menos un documento, este fragmento será visible.
Una vez que el usuario haya visto al menos un documento, este fragmento será visible.