Sciweavers

72
Voted
SYNTHESE
2008
71views more  SYNTHESE 2008»
15 years 7 days ago
Formalizing common sense: an operator-based approach to the Tibbles-Tib problem
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
Ingvar Johansson