Kripke models for classical logic期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

Kripke models for classical logic

Authors:	Danko Ilik Gyesik Lee Hugo Herbelin

Institution:	^a INRIA & PPS, 23 avenue d’Italie, CS 81321, 75214 Paris Cedex 13, France ^b LIX, Ecole Polytechnique, PALAISEAU, France ^c ROSAEC Center, Bldg, Seoul National University, 151-742 Seoul, Republic of Korea

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:	03F99 03H05 03B30 03B40
本文献已被 ScienceDirect 等数据库收录！