TY  - RPRT
TI  - A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
AU  - Victor Barroso-Nascimento
AU  - Ekaterina Piotrovskaya
AU  - Elaine Pimentel
PY  - 2025
UR  - https://arxiv.org/abs/2505.18589
ID  - 2505.18589
ER  -