Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: coherent orthomodular poset

Sortuj według:

Ogranicz wyniki do:

A note on coherent arthomodular posets

Borzyszkowski A.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2004

Nr 981

1-14

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 transi-tion 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.

Praca poświęcona jest badaniu zbiorów uporządkowanych spełniających warunek ortomodularności. Zainteresowanie takimi zbiorami wynika z faktu, że zbiór regionów 2-struktury (systemu tranzycji) jest takim właśnie zbiorem, spełniającym dodatkowo warunek koherencji. Powyższa struktura algebraiczna występuje w ostatnich badaniach systemów rozproszonych. Istnieje hipoteza o dualności pomiędzy kategorią porządków ortomodularnych a kategorią 2-struktur. W niniejszej pracy pokazujemy istnienie domknięcia dowolnego porządku orthomodularnego do koherentnego oraz dowodzimy uniwersalności takiej konstrukcji.