About Issues of logic, algebra and topology in ontology
Issues of logic, algebra and topology in ontology- The interpretation of the symbols involved in a case study of geometric logic, being aided by a presentation of the logic as a sequent calculus.