Hajime Ishihara, Bakhadyr Khoussainov. Effectiveness of the Completeness Theorem for an Intermediate Logic. J. UCS, 3(11):1255-1265, 1997. [doi]
@article{IshiharaK97,
title = {Effectiveness of the Completeness Theorem for an Intermediate Logic},
author = {Hajime Ishihara and Bakhadyr Khoussainov},
year = {1997},
url = {http://www.jucs.org/jucs_3_11/effectiveness_of_the_completeness},
tags = {completeness, logic},
researchr = {https://researchr.org/publication/IshiharaK97},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {3},
number = {11},
pages = {1255-1265},
}