Foulis Quantales and Complete Orthomodular Lattices. - Michal Botur; Jan Paseka; Richard Smolka (EUSFLAT (1), 2025)