Typed applicative structures and normalization by evaluation for system F ω (2009)

by Andreas Abel
Venue:of Lecture Notes in Computer Science
Add To MetaCart
Results 1 - 1 of 1

Kripke Models for Classical Logic

by Danko Ilik A, Gyesik Lee B, Hugo Herbelin C , 2010
"... We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the novelty of the notion and its potential applications. ..."
Abstract - Add to MetaCart
We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the novelty of the notion and its potential applications.