Difference between revisions of "Edu:Identity Criteria"

From IAOA Wiki
(Created page with "== Identity Criteria == An identity criterion for a property P is a binary relation Ip such that P(x) & P(y) & Ip(x,y) → x = y. [ TermlistReferences#Guarino1999|Gu...")
 
(No difference)

Latest revision as of 01:33, 11 November 2019

Identity Criteria

An identity criterion for a property P is a binary relation Ip such that

 P(x) & P(y) & Ip(x,y) → x = y. 

[ Guarino, 1999 ]