• 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 ...
    • Convex combinations of fuzzy logical operations 

      Autor: Navara M.
      (Elsevier, 2015)
      One may ask when (non-trivial) convex combinations of fuzzy logical operations result in operations of the same type. This question has been intensively studied for triangular norms and it still remains open for continuous ...