TY  - RPRT
TI  - Sequent calculus for the subintuitionistic logic ${\sf WF_{N_{2}}} $
AU  - Fatemeh Shirmohammadzadeh Maleki
PY  - 2025
UR  - https://arxiv.org/abs/2501.02322
ID  - 2501.02322
ER  -