%0 Journal Article %1 journals/jucs/IshiharaK97 %A Ishihara, Hajime %A Khoussainov, Bakhadyr %D 1997 %J J. Univers. Comput. Sci. %K dblp %N 11 %P 1255-1265 %T Effectiveness of the Completeness Theorem for an Intermediate Logic. %U http://dblp.uni-trier.de/db/journals/jucs/jucs3.html#IshiharaK97 %V 3

@article{journals/jucs/IshiharaK97, added-at = {2023-09-07T00:00:00.000+0200}, author = {Ishihara, Hajime and Khoussainov, Bakhadyr}, biburl = {https://www.bibsonomy.org/bibtex/2ea5c529c2c6208bb481ef8231023d1b7/dblp}, ee = {https://doi.org/10.3217/jucs-003-11-1255}, interhash = {626de9562205f41fe3182d931179cf81}, intrahash = {ea5c529c2c6208bb481ef8231023d1b7}, journal = {J. Univers. Comput. Sci.}, keywords = {dblp}, number = 11, pages = {1255-1265}, timestamp = {2024-04-08T15:57:12.000+0200}, title = {Effectiveness of the Completeness Theorem for an Intermediate Logic.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs3.html#IshiharaK97}, volume = 3, year = 1997 }