Kripke Models for Classical Logic
Logic
2014-11-04 v5 Logic in Computer Science
Abstract
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.
Keywords
Cite
@article{arxiv.0904.0071,
title = {Kripke Models for Classical Logic},
author = {Danko Ilik and Gyesik Lee and Hugo Herbelin},
journal= {arXiv preprint arXiv:0904.0071},
year = {2014}
}