An evaluation of the natural language with non-classical logics | IEEE Conference Publication | IEEE Xplore