@misc{indiciae2f5e8f5c1de4,
  title = {Constructive Quantum Logics},
  author = {Juan P. Aguilera and Guillaume Massas},
  year = {2025},
  url = {https://arxiv.org/abs/2503.15292},
  note = {Source identifier: 2503.15292}
}