Isn the word `structure´ reserved for semantics?
This term is used in many places, but there is a tradition in philosophical proof theory which uses `structure´ the same way we do. In addition, in a certain sense, all our inference rules are `structural´ in the general proof theoretical meaning. In fact, we have no connectives: our expressions are sets plus structure, they are not very different from semantic structures in the usual sense.
