TY  - RPRT
TI  - Bi-intuitionistic logics through the abstract algebraic logic lens
AU  - Jonte Deakin
AU  - Ian Shillito
PY  - 2025
UR  - https://arxiv.org/abs/2503.17159
ID  - 2503.17159
ER  -