Issues of logic, algebra and topology in ontology

Abstract

When one uses a particular logical formalism, one makes an ontological commitment to being able to interpret the symbols involved. We discuss this in a case study of geometric logic, being aided by a presentation of the logic as a sequent calculus. We also discuss the connections of geometric logic with topology and algebra. © Springer Science+Business Media B.V. 2010.