@Article{GabrielsNavara:INS13,
  IS = { zkontrolovano 23 Jan 2014 },
  UPDATE   = { 2014-01-06 },
  author =     {Gabri{\"e}ls, Jeannine J.~M. and Navara, Mirko },
  title    = { Computer proof of monotonicity of operations on orthomodular lattices },
  journal  = { Information Sciences },
  publisher = { Elsevier },
  address  = { Amsterdam, The Netherlands },
  issn     = { 0020-0255 },
  authorship = {50-50},
  project  = { SGS12/187/OHK3/3T/13 },
  year     = { 2013 },
  month       = { July },
  pages    = { 205--217 },
  volume   = { 236 },
  number     = {1},
doi = {10.1016/j.ins.2013.02.021},
  annote   = { In this paper we study the monotonicity of binary operations in orthomodular lattices and
 their distributivity with respect to the lattice operations. },
  keywords = { orthomodular lattice, free lattice, ideal, congruence, commutator, associativity,
 monotonicity,
commutativity, focusing, Foulis--Holland theorem, implication, equivalence, variety },
  psurl    = { [PDF] },
}