|
Andrzej M. Borzyszkowski
Wartości "proceduralne"
gier kooperacyjnych
["Procedural" values for cooperative games]
981
Abstract
The paper studies the properties of orthomodular posets. The interest
comes from the fact, that the set of all regions of a 2-structure
(a transition system) is a coherent orthomodular poset. This algebraic
structure is gaining the importance in the area of distributed
systems. In fact, there is a conjucture about the duality between the
category of orthomodular posets and the category of 2-structures. We
show in the paper how to close to coherence an arbitrary orthomodular
poset and prove the universality of such a closure.
Keywords: ccoherent orthomodular poset, transition system, regions
|
|
 |
 |
