Extensionality - PDFSEARCH.IO - Document Search Engine

Extensionality
Results: 16

#	Item
1	¨ PROSPECTS FOR A NAIVE THEORY OF CLASSES HARTRY FIELD, HARVEY LEDERMAN AND TORE FJETLAND ØGAARD 1. I NTRODUCTION1 Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2014-11-26 15:35:09 Mathematical logic Logic Mathematics Model theory Predicate logic Automated theorem proving Logic programming Substitution First-order logic Normal distribution Structure Axiom of extensionality
2	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-25 09:32:10 Set theory Principia Mathematica Science Extensionality Axiom of extensionality Intensional Intension Intuitionistic type theory Deductive lambda calculus
3	Extensional Crisis and Proving Identity? Ashutosh Gupta1 , Laura Kov´acs2 , Bernhard Kragl1,3 , and Andrei Voronkov4 1 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English Mathematical logic Mathematics Logic Automated theorem proving Z notation Set theory S Resolution Equality Mereology Axiom of extensionality
4	Sprinkles of extensionality for your vanilla type theory Jesper Cockx1 and Andreas Abel2 2 1 Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2016-05-17 15:07:48
5	What Is an Ontology ? Nicola Guarino1 , Daniel Oberle2 , and Steffen Staab3 1 2 Add to Reading List Source URL: iaoa.org Language: English - Date: 2012-07-03 10:18:10 Philosophy Logic Abstraction Ontology Semantic Web Information science Technical communication Knowledge representation Web Ontology Language Extensionality Conceptualization Applied ontology
6	PDF Document Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2016-05-24 14:40:11 Psycholinguistics Logicians Metaphysicians Semantics Logic Alexius Meinong Edward N. Zalta Intentionality Intension Proposition Edmund Husserl Extensionality
7	THE UNIVALENCE AXIOM AND FUNCTIONAL EXTENSIONALITY TALK BY NICOLA GAMBINO; NOTES BY C. KAPULKIN, P. LEF. LUMSDAINE These notes were taken and LATEX’d by Chris Kapulkin and Peter LeFanu Lumsdaine, from Nicola Gambino’ Add to Reading List Source URL: www.pitt.edu Language: English - Date: 2012-03-15 14:09:14
8	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: A Note on Spector’s Quantifier-Free Rule of Extensionality A Note on Spector’s Quantifier-Free Rule of Add to Reading List Source URL: www.brics.dk - Date: 1999-08-18 08:43:32
9	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:49 Set theory Principia Mathematica Science Function Type theory Extensionality Zermelo–Fraenkel set theory Logicism Mathematics Mathematical logic Logic
10	The Extensionality of Parthood and Composition Achille C. Varzi Department of Philosophy, Columbia University, New York [Final version published in The Philosophical Quarterly[removed]), 108–133] Abstract. I focus on Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2009-03-31 16:31:59 Mereology Philosophy Predicate logic Ontology Simple Temporal parts Ordinal number Modal realism Constructible universe Logic Mathematical logic Metaphysics

UPDATE