TY  - RPRT
TI  - A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
AU  - Aleksi Anttila
AU  - Rosalie Iemhoff
AU  - Fan Yang
PY  - 2025
UR  - https://arxiv.org/abs/2508.07509
ID  - 2508.07509
ER  -