@misc{indiciae05b1a2ffca72,
  title = {Birnbaum's principles in Venn diagrams: Extended version with Lean verification},
  author = {Jaime Enrique Lincovil Curivil and Alexandre Galvão Patriota},
  year = {2026},
  url = {https://arxiv.org/abs/2609.26776},
  note = {Source identifier: 2609.26776}
}