Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Extensionality
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Logic principle that judges objects to be equal if they have the same external properties
Property
Value
dbo:
description
logic principle that judges objects to be equal if they have the same external properties
(en)
Eigenschaft einer Sprache
(de)
principio lógico
(es)
یک مفهوم فلسفی
(fa)
dbo:
wikiPageExternalLink
https://ncatlab.org/nlab/show/equality
https://plato.stanford.edu/entries/logic-intensional/
dbo:
wikiPageWikiLink
dbc
:Equivalence_(mathematics)
dbr
:Axiom_of_extensionality
dbc
:Set_theory
dbr
:Function_(mathematics)
dbr
:Set_theory
dbr
:Set_(mathematics)
dbr
:Duck_typing
dbr
:Decidability_(logic)
dbr
:Codomain
dbr
:Type_theory
dbc
:Concepts_in_logic
dbr
:Logic
dbr
:Domain_of_a_function
dbr
:Ordered_pair
dbr
:Equivalence_class
dbr
:Extension_(predicate_logic)
dbr
:Identity_of_indiscernibles
dbr
:Equivalence_relation
dbr
:Equality_(mathematics)
dbr
:NLab
dbr
:Natural_number
dbr
:Setoid
dbr
:Relation_(mathematics)
dbr
:Structural_typing
dbr
:Constructivism_(mathematics)
dbr
:Univalence_axiom
dbr
:Intensionality
dbp:
wikiPageUsesTemplate
dbt
:Cite_book
dbt
:Reflist
dbt
:Cite_journal
dbt
:No_footnotes
dbt
:Mathematical_logic
dbt
:Rp
dbt
:Short_description
dct:
subject
dbc
:Equivalence_(mathematics)
dbc
:Set_theory
dbc
:Concepts_in_logic
rdfs:
label
Extensionality
(en)
Extensionalitätsprinzip
(de)
외연성
(ko)
Ekstensjonalność
(pl)
Extensionalidade
(pt)
Extensionalitetsprincipen
(sv)
外延性
(zh)
owl:
sameAs
yago-res
:Extensionality
freebase
:Extensionality
wikidata
:Extensionality
dbpedia-de
:Extensionality
dbpedia-zh
:Extensionality
dbpedia-pt
:Extensionality
dbpedia-ro
:Extensionality
dbpedia-fa
:Extensionality
dbpedia-sv
:Extensionality
dbpedia-pl
:Extensionality
dbpedia-ko
:Extensionality
dbpedia-global
:Extensionality
prov:
wasDerivedFrom
wikipedia-en
:Extensionality?oldid=1288864169&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Extensionality
is
dbo:
wikiPageDisambiguates
of
dbr
:Extension
is
dbo:
wikiPageRedirects
of
dbr
:Extensional_equality
dbr
:Extensional_relation
dbr
:Extensional_relations
is
dbo:
wikiPageWikiLink
of
dbr
:List_of_functional_programming_topics
dbr
:Non-well-founded_set_theory
dbr
:Index_of_philosophy_articles_(D–H)
dbr
:Deductive_lambda_calculus
dbr
:Lambda_calculus
dbr
:New_Foundations
dbr
:Axiom_of_extensionality
dbr
:Extensional_and_intensional_definitions
dbr
:Intuitionistic_type_theory
dbr
:Set_(mathematics)
dbr
:Outline_of_discrete_mathematics
dbr
:Fixed-point_combinator
dbr
:S_(set_theory)
dbr
:Extension
dbr
:Framing_effect_(psychology)
dbr
:Nominalism
dbr
:Robinson_arithmetic
dbr
:Church_encoding
dbr
:Mereology
dbr
:Property_(philosophy)
dbr
:Extension_(predicate_logic)
dbr
:Intensional_logic
dbr
:Sunk_cost
dbr
:Apollonius_of_Perga
dbr
:Word_and_Object
dbr
:Equality_(mathematics)
dbr
:Principle_of_bivalence
dbr
:Intension
dbr
:History_of_topos_theory
dbr
:Value_semantics
dbr
:Axiom_of_choice
dbr
:Semilattice
dbr
:Law_of_thought
dbr
:Whitehead's_point-free_geometry
dbr
:McCarthy_91_function
dbr
:Andrzej_Grzegorczyk
dbr
:Constructive_set_theory
dbr
:Lambda_calculus_definition
dbr
:Outline_of_logic
dbr
:Temperature_paradox
dbr
:Extensional_equality
dbr
:Extensional_relation
dbr
:Extensional_relations
dbr
:Finitist_set_theory
is
rdfs:
seeAlso
of
dbr
:List_of_set_identities_and_relations
is
foaf:
primaryTopic
of
wikipedia-en
:Extensionality
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International