TY  - RPRT
TI  - Birnbaum's principles in Venn diagrams: Extended version with Lean verification
AU  - Jaime Enrique Lincovil Curivil
AU  - Alexandre Galvão Patriota
PY  - 2026
UR  - https://arxiv.org/abs/2609.26776
ID  - 2609.26776
ER  -