2 papers
math.LO2026
Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices
Juanda Kelana Putra, Richard Smolka
This paper reveals a categorical equivalence connecting two distinct quantum logic structures. The first is the orthomodular lattice, an algebraic system designed to formalize the…
math.LO2026
On -based orthomodular dynamic algebras
Jan Paseka, Juanda Kelana Putra, Richard Smolka
This paper establishes a categorical equivalence between the category of complete orthomodular lattices and the category of -b…