Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 3 / Issue 11

available in:   PDF (235 kB) PS (78 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
Links into Future
 
DOI:   10.3217/jucs-003-11-1255

 

Effectiveness of the Completeness Theorem for an Intermediate Logic

Hajime Ishihara (Japan Advanced Institute of Science and Technology, 923-12 Japan)

Bakhadyr Khoussainov (The University of Auckland, Auckland, New Zealand and Cornell University, New Zealand)

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: Kripke models, completeness, computability, intermediate logics., jump operator

Categories: F.1, F.4