Applied ontology - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-06-12 10:47:45 Philosophy of language Ontology Semantics Knowledge representation Extensionality Applied ontology Concept Extensional context Mereology Logic Mathematical logic Science		Add to Reading List Source URL: userpages.uni-koblenz.de Download Document from Source Website File Size: 564,59 KB Share Document on Facebook

	¨ PROSPECTS FOR A NAIVE THEORY OF CLASSES HARTRY FIELD, HARVEY LEDERMAN AND TORE FJETLAND ØGAARD 1. I NTRODUCTION1 DocID: 1q31X - View Document
	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg DocID: 1p7Wu - View Document
	Extensional Crisis and Proving Identity? Ashutosh Gupta1 , Laura Kov´acs2 , Bernhard Kragl1,3 , and Andrei Voronkov4 1 2 DocID: 1nMxJ - View Document
	Sprinkles of extensionality for your vanilla type theory Jesper Cockx1 and Andreas Abel2 2 1 DocID: 1mZP4 - View Document
	What Is an Ontology ? Nicola Guarino1 , Daniel Oberle2 , and Steffen Staab3 1 2 DocID: 1mV1k - View Document