Publikace na Filozofická fakulta |
2009
Abstrakt
Orthokomplementární částečně uspořádané množiny jsou v článku opatřeny abstraktní symetrickou diferencí. Ukazuje se, že takové množiny jsou orthomodulární, a tudíž představují zvláštní typy kvantových logik. V článku si autoři kladou otázku, kdy jsou takové množiny reprezentovatelné , které jejich podtřídy tvoří kvazivariety a jak lze charakterizovat pseudokomplementární prvky.