Geometric or coherent logic?

This is Michael Makkai replying to Steve Vickers' query on coherent vs geometric logic. Despite the variety you found in the literature, I think you are right about the standard usage. I certainly have used the terms in those senses now for a long time (despite what appears in Makkai/Reyes). I think Andy Pitts will agree with me; in fact I vaguely recall that I told myself at one point that I would observe Pitts' usage in this respect. ==============================================================================