GENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS
Acta mathematica Universitatis Comenianae, Tome 65 (1996) no. 2
J. Hedlikova; S. Pulmannova. GENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS. Acta mathematica Universitatis Comenianae, Tome 65 (1996) no. 2. http://geodesic.mathdoc.fr/item/AMUC_1996_65_2_a7/
@article{AMUC_1996_65_2_a7,
     author = {J. Hedlikova and S. Pulmannova},
     title = {GENERALIZED {DIFFERENCE} {POSETS} {AND} {ORTHOALGEBRAS}},
     journal = {Acta mathematica Universitatis Comenianae},
     year = {1996},
     volume = {65},
     number = {2},
     url = {http://geodesic.mathdoc.fr/item/AMUC_1996_65_2_a7/}
}
TY  - JOUR
AU  - J. Hedlikova
AU  - S. Pulmannova
TI  - GENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS
JO  - Acta mathematica Universitatis Comenianae
PY  - 1996
VL  - 65
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/AMUC_1996_65_2_a7/
ID  - AMUC_1996_65_2_a7
ER  - 
%0 Journal Article
%A J. Hedlikova
%A S. Pulmannova
%T GENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS
%J Acta mathematica Universitatis Comenianae
%D 1996
%V 65
%N 2
%U http://geodesic.mathdoc.fr/item/AMUC_1996_65_2_a7/
%F AMUC_1996_65_2_a7

Voir la notice de l'article provenant de la source Comenius University

A difference on a poset $(P,\leq)$ is a partial binary operation $\ominus$ on $P$ such that $b\ominus a$ is defined if and only if $a\leq b$ subject to conditions $a\leq b \implies b\ominus (b\ominus a) = a$ and $a\leq b\leq c \implies (c\ominus a) \ominus(c\ominus b) = b\ominus a$. A difference poset (DP) is a bounded poset with a difference. A generalized difference poset (GDP) is a poset with a difference having a smallest element and the property $b\ominus a = c\ominus a \implies b = c$. We prove that every GDP is an order ideal of a suitable DP, thus extending previous similar results of Janowitz for generalized orthomodular lattices and of Mayet-Ippolito for (weak) generalized orthomodular posets. Various results and examples concerning posets with a difference are included.