\input zb-basic
\input zb-ioport
\iteman{io-port 01501382}
\itemau{Dvure\v{c}enskij, Anatolij; Kim, Hee Sik}
\itemti{Connections between BCK-algebras and difference posets.}
\itemso{Stud. Log. 60, No.3, 421-439 (1998).}
\itemab
The authors study the relations of BCK-algebras with quantum logic structures -- D-posets (difference posets), MV-algebras, quantum MV-algebras, orthoalgebras, orthomodular lattices. They present a series of results when a BCK-algebra and a quantum logic structure coincide.
\itemrv{J.Tkadlec (Praha)}
\itemcc{}
\itemut{BCK-algebra; D-poset; MV-algebra; quantum MV-algebra; orthoalgebra; quantum logic structures; orthomodular lattices}
\itemli{doi:10.1023/A:1005089629837}
\end