Computational Logic Chapter 5. Intuitionistic Logic
Computational Logic Chapter 5. Intuitionistic Logic
Computational Logic Chapter 5. Intuitionistic Logic
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Lógica intuicionista<br />
Lógica Intuicionista: semántica Kripke<br />
En primer orden la cosa se complica. El dominio o universo no<br />
tiene por qué ser fijo. Tenemos D w para cada w ∈ W .<br />
La persistencia implica ahora que, si w ≤ u entonces D w ⊆ D u ,<br />
los átomos ciertos en D w lo son también en D u y las<br />
correspondencias de functiones en w se mantienen en u.<br />
Por lo demás, es similar a clásico<br />
w |= ∀xϕ(x) si para todo d ∈ D w , w |= ϕ(d)<br />
w |= ∃xϕ(x) si para algún d ∈ D w , w |= ϕ(d)<br />
P. Cabalar ( Dept. Ch<strong>5.</strong> Computer <strong>Intuitionistic</strong> Science<strong>Logic</strong> University of Corunna, SPAIN January ) 18, 2011 12 / 13