. "RIV/61989592:15310/05:00002148" . "2"^^ . . . "An implication in orthologic" . . "511933" . "An implication in orthologic" . "Implikace v ortologice"@cs . . . . "RIV/61989592:15310/05:00002148!RIV06-MSM-15310___" . "An implication in orthologic"@en . . "An implication in orthologic"@en . . "ortholattice; orthosemilattice; implication orthoalgebra"@en . "Hala\u0161, Radom\u00EDr" . "International Journal of Theoretical Physics" . . "Chajda, Ivan" . "15310" . "10"^^ . "0020-7748" . "44" . "7" . "Implikace v ortologice"@cs . . "We involve a certain propositional logic based on an ortholattice. We characterize the implication reduct of such a logic and show that its algebraic counterpart is the so-called orthosemilattice. Properties of congruences and congruence kernels of these algebras are described."@en . . "Je odvozena v\u00FDrokov\u00E1 logika zalo\u017Een\u00E1 na ortosvazech. Dokazuje se, \u017Ee algebraick\u00FD prot\u011Bj\u0161ek implika\u010Dn\u00EDho reduktu je tzv. ortopolosvaz. D\u00E1le jsou pops\u00E1ny vlastnosti kongruenc\u00ED a kongruen\u010Dn\u00ED j\u00E1dra."@cs . . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . . "735-744" . "We involve a certain propositional logic based on an ortholattice. We characterize the implication reduct of such a logic and show that its algebraic counterpart is the so-called orthosemilattice. Properties of congruences and congruence kernels of these algebras are described." . . "Z(MSM 153100011)" . "[5B9D2A0C296F]" . . "2"^^ .