Una contribución a la teoría de modelos de kripke para el intuicionismo

Se estudia la semántica de Kripke para la lógica intuicionista.En primer lugar se encuentra una amplia clase de órdenes para los cuales el teorema sobre la existencia de modelos de Kripke de teorías intuicionistas consistentes es válido. Mediante una codificación de prehaces como estructurasclásicas...