JUCS - Journal of Universal Computer Science 3(11): 1255-1265, doi: 10.3217/jucs-003-11-1255
Effectiveness of the Completeness Theorem for an Intermediate Logic
expand article infoHajime Ishihara‡, Bakhadyr Khoussainov§
‡ Japan Advanced Institute of Science and Technology, Tatsunokuchi, Ishikawa, Japan§ The University of Auckland, Auckland, New Zealand and Cornell University, Auckland, New Zealand

Corresponding author: Hajime Ishihara

© Hajime Ishihara, Bakhadyr Khoussainov.
This article is freely available under the J.UCS Open Content License.
Citation: Ishihara H, Khoussainov B (1997) Effectiveness of the Completeness Theorem for an Intermediate Logic. JUCS - Journal of Universal Computer Science 3(11): 1255-1265. https://doi.org/10.3217/jucs-003-11-1255
Open Access
Abstract
We investigate effectiveness of the completeness result for the logic with the Weak Law of Excluded Middle. 1.) Proceedings of the First Japan-New Zealand Workshop on Logic in Computer Science, special issue editors D.S. Bridges, C.S. Calude, M.J. Dinneen and B. Khoussainov. 2.) Khoussainov acknowledges the support of Japan Advanced Institute of Science and Technology (JAIST) and of the University of Auckland Research Committee.
Keywords
computability, Kripke models, completeness, jump operator, intermediate logics.