Effectiveness of the Completeness Theorem for an Intermediate Logic
Дата
Авторы
Ishihara,Hajime
Khoussainov,Bakhadyr
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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.
Ключевые слова
computability , Kripke models , completeness , jump operator , intermediate logics.