@misc{indiciae1dc069909d7c,
  title = {A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)},
  author = {Renato Leme and Marcelo Coniglio and Bruno Lopes},
  year = {2025},
  doi = {10.1017/jsl.2025.10174},
  url = {https://arxiv.org/abs/2308.13664},
  note = {Source identifier: 2308.13664}
}