14084 search results - page 200 / 2817 » A Theory for Game Theories |
139
click to vote
APAL
2007
15 years 6 months ago
2007
We study OST and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the ...
168
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We define a notion of symmetric monoidal closed (smc) theory, consisting of a smc signature augmented with equations, and describe the classifying categories of such theo...
144
click to vote
DAM
2008
15 years 6 months ago
2008
In this paper we develop a representational approach to media theory. We construct representations of media by well-graded families of sets and partial cubes and establish the uni...
181
click to vote
APAL
2006
15 years 6 months ago
2006
For a long time people have been trying to develop probability theory starting from `finite' events rather than collections of infinite events. In this way one can find natura...
182
click to vote
INTERFACES
2008
15 years 6 months ago
2008
re more abstract than necessary. They depend on assumptions that are highly unlikely to occur in practical situations, which are often less formal and rigid. Nonetheless, we discus...