• Boolean subalgebras of orthoalgebras 

      Autor: Harding J.; Heunen Ch.; Lindenhovius B.; Navara M.
      (Springer, 2019)
      We develop a direct method to recover an orthoalgebra from its poset of Boolean subalgebras. For this a new notion of direction is introduced. Directions are also used to characterize in purely order-theoretic terms those ...
    • Teorie grafů a kvantové struktury 

      Autor: Václav Voráček; Vedoucí práce: Navara Mirko; Oponent práce: Pták Pavel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-05)
      S příchodem kvantové teore klasická logika přestala být dostatečnou pro popis fyzikálních událostí, protože distributivní zákon výrokové logiky vede ke sporům v kvantové teorii. To vedlo k vytvoření kvantových logik. ...