Computational Logic Chapter 5. Intuitionistic Logic

Lógica intuicionista
Lógica Intuicionista: semántica Kripke
Semántica Kripke para cálculo intuicionista proposicional.
Muy similar a modal, tenemos 〈W , ≤, V 〉 con W conjunto de
mundos, ≤ accesibilidad y V : W × Atoms → {0, 1}.
. . . pero además:
1 Condición de persistencia: si w ≤ u y V (w, p) = 1 entonces
V (u, p) = 1.
2 ≤ es una relación de orden parcial (transitiva, reflexiva).
P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, 2011 10 / 13