Ian Shillito

Este artículo habla sobre un nuevo cálculo secuencial para la lógica intuicionista fuerte L.

Una mirada a la estructura y las relaciones de las lógicas modales intuicionistas.