Relation between Semantic Completeness and Syntax Completeness on General Formal Systems | IEEE Conference Publication | IEEE Xplore