Syntactic and logical arguments for semantic structures