"3"^^ . "42" . . "Semilattices with a unary operation are treated. We set a simple condition such that every semilattice with a unary operation satisfying it is a lattice. If one more simple condition is satisfied, this lattice is an ortholattice where the unary operationis a orthocomplementation."@en . "Z(MSM 153100011)" . . "Semilattices with an involution" . . . "0"^^ . "RIV/61989592:15310/02:00001435!RIV/2003/MSM/153103/N" . "1"^^ . "KR - Korejsk\u00E1 republika" . "0"^^ . "Semilattices with an involution" . "1"^^ . "Semilattices with an involution"@en . . . "15310" . "0454-8124" . . . "RIV/61989592:15310/02:00001435" . "Semilattices with an involution"@en . . "Semilattices with a unary operation are treated. We set a simple condition such that every semilattice with a unary operation satisfying it is a lattice. If one more simple condition is satisfied, this lattice is an ortholattice where the unary operationis a orthocomplementation." . "N" . "21-23" . . . "663262" . "[96D7C3AEAF29]" . . "Kyungpook Mathematical Journal" . . "semilattice; lattice; ortholattice; involution"@en . . "Chajda, Ivan" . . .