Title of article :
Kripke models for classical logic
Author/Authors :
Ilik، نويسنده , , Danko and Lee، نويسنده , , Gyesik and Herbelin، نويسنده , , Hugo، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2010
Abstract :
We introduce a notion of the Kripke model for classical logic for which we constructively prove the soundness and cut-free completeness. We discuss the novelty of the notion and its potential applications.
Keywords :
Kripke model , Classical logic , Sequent calculus , Lambda mu calculus , Normalization by evaluation , Classical realizability
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
