"base poset" .
.
.
.
_:N240592d86c6d42dd9fb7d1da8a1a2861 "pub.1052652300" .
"completion" .
_:N821412ea0d4f484b8a42c55537bb16ec .
"orthoalgebraic operation" .
_:Nc4475bacd21745f6b6531a304903db1e "Br\u0161el" .
_:N821412ea0d4f484b8a42c55537bb16ec "33" .
.
.
.
"category of orthoalgebras" .
"orthoalgebraic structure" .
"spite" .
"false"^^ .
"orthoposets" .
_:N24aa5412184e4421b3cb01b09c3d9397 "10.1007/bf00671618" .
"0020-7748" .
"articles" .
.
_:N7d1b9c11b1aa402d9131b4f0a8e2f283 .
_:Ne5a9e744730441df946395cfbd97a5d6 _:N5787041415b54690a4274ebd592095c4 .
"Mathematical Sciences" .
_:N7d1b9c11b1aa402d9131b4f0a8e2f283 .
"article" .
.
.
_:Nd9e70fb7c6774d1e8d2f8157171e2f22 "Springer Nature - SN SciGraph project" .
"International Journal of Theoretical Physics" .
_:N5787041415b54690a4274ebd592095c4 .
"lattice" .
"examples of posets" .
"Applied Mathematics" .
.
.
"difference operation" .
"operation" .
.
.
.
_:Nc4475bacd21745f6b6531a304903db1e .
_:N24aa5412184e4421b3cb01b09c3d9397 "doi" .
_:N7d1b9c11b1aa402d9131b4f0a8e2f283 "1" .
"finite chains" .
_:Nd9e70fb7c6774d1e8d2f8157171e2f22 .
"difference posets" .
.
_:Ne5a9e744730441df946395cfbd97a5d6 .
"categories" .
.
_:N240592d86c6d42dd9fb7d1da8a1a2861 "dimensions_id" .
.
"We show that every orthoalgebra (difference orthoposet) uniquely determines a difference orthoalgebraic structure. We give examples of posets on which there exist more than one difference operation. In spite of that, every finite chain is a uniquely determined difference poset. On a difference poset there need not exist any orthoalgebraic operation, but the category of difference orthoposets is isomorphic with the category of orthoalgebras. But a difference poset which is also an orthoposet need not be a difference orthoposet. Moreover, there exist complete lattices on which there does not exist any difference operation. Finally, we show that difference operations and orthoalgebraic operations need not be extendable on a MacNeille completion of the base poset." .
.
.
.
"133-141" .
.
_:N821412ea0d4f484b8a42c55537bb16ec .
_:N5787041415b54690a4274ebd592095c4 _:Nc4475bacd21745f6b6531a304903db1e .
"difference orthoalgebraic structure" .
"orthoalgebras" .
"Springer Nature" .
_:N24aa5412184e4421b3cb01b09c3d9397 .
"https://doi.org/10.1007/bf00671618" .
.
"Contraexamples" .
.
"structure" .
_:N24aa5412184e4421b3cb01b09c3d9397 .
_:Nc4475bacd21745f6b6531a304903db1e .
"https://scigraph.springernature.com/explorer/license/" .
.
"Department of Mathematics, Faculty of Electrical Engineering, Slovak Technical University, CS-812 19, Bratislava, Slovakia" .
"Contraexamples in difference posets and orthoalgebras" .
_:N240592d86c6d42dd9fb7d1da8a1a2861 .
.
"Department of Mathematics, Faculty of Electrical Engineering, Slovak Technical University, CS-812 19, Bratislava, Slovakia" .
"determined difference poset" .
"1994-01-01" .
_:Nc4475bacd21745f6b6531a304903db1e "Daniel" .
"1572-9575" .
"difference orthoposets" .
"2022-01-01T18:05" .
.
_:N240592d86c6d42dd9fb7d1da8a1a2861 .
"Zdenka" .
.
.
"en" .
_:Ne5a9e744730441df946395cfbd97a5d6 .
"complete lattice" .
_:Nd9e70fb7c6774d1e8d2f8157171e2f22 .
"1994-01" .
"example" .
"chain" .
"Rie\u010Danov\u00E1" .
"MacNeille completion" .
"posets" .