Connections between BCK-algebras and difference posets

DOI10.1023/A:1005089629837zbMath0960.03051OpenAlexW1585154585MaRDI QIDQ1577356

Anatolij Dvurečenskij, Hee Sik Kim

Publication date: 10 May 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005089629837

zbMATH Keywords

orthomodular latticesBCK-algebraMV-algebraorthoalgebraD-posetquantum logic structuresquantum MV-algebra

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) MV-algebras (06D35) Quantum logic (03G12) Second- and higher-order arithmetic and fragments (03F35)

Related Items (2)

Pseudo-BCK algebras and PD-posets ⋮ On \(Q\)-upper algebras

This page was built for publication: Connections between BCK-algebras and difference posets