Publikationsansicht

Kripke Models for Classical Logic (2009)

Ilik, Danko,
Lee, Gyesik,
Herbelin, Hugo

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.

Details der Publikation

Download	HAL:http://hal.inria.fr/inria-00371959/en/, http://hal.inria.fr/docs/00/37/19/59/PDF/classical_kripke.pdf
Herausgeber	HAL - CCSD
Archiv	INRIA a CCSD electronic archive server based on P.A.O.L (France)
Keywords	[MATH:MATH_LO] Mathematics/Logic, [INFO:INFO_LO] Computer Science/Logic in Computer Science, Kripke model, classical logic, sequent calculus, lambda mu calculus, classical realizability, normalization by evaluation
Typ	text
Sprache	Englisch