. . "Jednoduch\u00E9 axiomy pro ortomodul\u00E1rn\u00ED implika\u010Dn\u00ED algebry"@cs . . "Simple, independent axioms for orthomodular implication algebras are presented."@en . . "RIV/61989592:15310/04:00002067!RIV/2005/MSM/153105/N" . "911-914" . "2"^^ . "4" . "International Journal of Theoretical Physics" . "Chajda, Ivan" . . . . "Z(MSM 153100011)" . . "3"^^ . "Jednoduch\u00E9 axiomy pro ortomodul\u00E1rn\u00ED implika\u010Dn\u00ED algebry"@cs . "586212" . "RIV/61989592:15310/04:00002067" . "Uv\u00E1d\u00ED se jednoduch\u00FD nez\u00E1visl\u00FD syst\u00E9m axiom\u016F ortomodul\u00E1rn\u00EDch implika\u010Dn\u00EDch algeber."@cs . "Simple, independent axioms for orthomodular implication algebras are presented." . "[722C24F5DB74]" . . "Hala\u0161, Radom\u00EDr" . . "Simple axioms for orthomodular implication algebras"@en . "implication algebra;orthoimplication algebra;orthomodular implication algebra;independent axioms;ortholattice"@en . "Simple axioms for orthomodular implication algebras"@en . "Simple axioms for orthomodular implication algebras" . . . "43" . . . "L\u00E4nger, Helmut" . . "0020-7748" . . "15310" . "Simple axioms for orthomodular implication algebras" . . "4"^^ . . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" .