Title of article
Kripke models for classical logic
Author/Authors
Ilik، نويسنده , , Danko and Lee، نويسنده , , Gyesik and Herbelin، نويسنده , , Hugo، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2010
Pages
12
From page
1367
To page
1378
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
Serial Year
2010
Journal title
Annals of Pure and Applied Logic
Record number
1444485
Link To Document