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<br />
Cálculo de secuentes intuicionista. Basta con modificar el caso<br />
clásico del siguiente modo:<br />
Los secuentes sólo tienen una fórmula al lado derecho Γ, α ⊢ β<br />
Cambiamos la regla<br />
Γ, α ⊢ ∆ Γ ′ , β ⊢ ∆ ′<br />
Γ, Γ ′ , α ∨ β ⊢ ∆, ∆ ′ ∨L<br />
por la nueva:<br />
Γ, α ⊢ ϕ Γ ′ , β ⊢ ϕ<br />
Γ, Γ ′ , α ∨ β ⊢ ϕ<br />
∨L<br />
P. Cabalar ( Dept. Ch<strong>5.</strong> Computer <strong>Intuitionistic</strong> Science<strong>Logic</strong> University of Corunna, SPAIN January ) 18, 2011 8 / 13