TY  - RPRT
TI  - Intuitionistic Implication in Elementary Team Logics
AU  - Fredrik Engström
AU  - Juha Kontinen
PY  - 2026
UR  - https://arxiv.org/abs/2609.15216
ID  - 2609.15216
ER  -