14084 search results - page 155 / 2817 » A Theory for Game Theories |
CSL
2010
Springer
13 years 9 months ago
2010
Springer
We introduce two-sorted theories in the style of [CN10] for the complexity classes L and DET, whose complete problems include determinants over Z2 and Z, respectively. We then desc...
FSS
2008
13 years 8 months ago
2008
This paper studies fuzzy relations in the graded framework of Fuzzy Class Theory (FCT). This includes (i) rephrasing existing work on graded properties of binary fuzzy relations i...
JAPLL
2008
13 years 8 months ago
2008
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...
ACS
2004
13 years 8 months ago
2004
There is a construction which lies at the heart of descent theory. The combinatorial aspects of this paper concern the description of the construction in all dimensions. The descr...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of -theories. Relying on the notion of easy intersection type theory we succes...