@misc{indiciae63342d45a79e,
  title = {A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)},
  author = {Aleksi Anttila and Rosalie Iemhoff and Fan Yang},
  year = {2025},
  url = {https://arxiv.org/abs/2508.07509},
  note = {Source identifier: 2508.07509}
}