@misc{indiciae4e9232fe3427,
  title = {A Proof in Coq that Core Logic is not Paraconsistent},
  author = {Joseph Vidal-Rosset},
  year = {2026},
  url = {https://arxiv.org/abs/2606.05953},
  note = {Source identifier: 2606.05953}
}