2909 search results - page 1 / 582 » Consistency of the theory of contexts |
JFP
2006
13 years 4 months ago
2006
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...
PERCOM
2005
ACM
14 years 4 months ago
2005
ACM
Context awareness and context modeling have raised their call for attention and importance quite recently in the world of contact centers for better customer services and relation...
AML
2011
12 years 8 months ago
2011
We show that the consistency of the theory “ZF + DC + Every successor cardinal is regular + Every limit cardinal is singular + Every successor cardinal satisfies the tree prope...
TSMC
2008
13 years 4 months ago
2008
The need to merge multiple sources of uncertain information is an important issue in many application areas, especially when there is potential for contradictions between sources. ...
FUZZY
2004
Springer
13 years 10 months ago
2004
Springer
The revealed preference is a central subject in classical consumer theory. Authors like Samuelson, Arrow, Richter, Sen, Uzawa and others have proposed an axiomatic setting of reve...