TY  - RPRT
TI  - A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)
AU  - Tiziano Dalmonte
AU  - Marianna Girlando
PY  - 2025
UR  - https://arxiv.org/abs/2507.02767
ID  - 2507.02767
ER  -