Un marco para las lógicas gramaticales intuicionistas

Por • 25 oct, 2021 • Sección: Leyes

Tim S. Lyon

Generalizamos la lógica intuicionista del tiempo al caso multimodal colocando la lógica gramatical sobre una base intuicionista. Proporcionamos axiomatizaciones para una clase de lógicas gramaticales intuicionistas básicas, así como también proporcionamos axiomatizaciones para extensiones con combinaciones de axiomas de serialidad y lo que llamamos «axiomas de trayectoria intuicionista». Demostramos que cada axiomatización es sólida y completa, mostrando la integridad a través de una construcción de modelo canónico típico.

 arXiv:2110.00798v1 [math.LO]

Logic (math.LO); Logic in Computer Science (cs.LO)

Post to Twitter

Escribe un comentario