@misc{indiciae2405eddb4736,
  title = {Proofs of valid categorical syllogisms in one diagrammatic and two symbolic axiomatic systems},
  author = {Antonielly Garcia Rodrigues and Eduardo Mario Dias},
  year = {2023},
  url = {https://arxiv.org/abs/2308.12973},
  note = {Source identifier: 2308.12973}
}