Issues of logic, algebra and topology in ontology Steven Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK. January 31, 2008 - Mathematical logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Issues of logic, algebra and topology in ontology Steven Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK. January 31, 2008 Add to Reading List Document Date: 2008-01-31 17:11:12 Open Document File Size: 187,57 KB Share Result on Facebook Company Russell / / Country United Kingdom / / / Facility University of Birmingham / / IndustryTerm cartesian product / empty carrier / / Organization University of Birmingham / Birmingham / Steven Vickers School of Computer Science / / Person Ai / / SocialTag Model theory Formal languages Metalogic Predicate logic Functions and mappings Interpretation First-order logic Function Well-formed formula Logic

Issues of logic, algebra and topology in ontology Steven Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK. January 31, 2008Add to Reading List