TY  - RPRT
TI  - Sub-sub-intuitionistic logic
AU  - Jonte Deakin
AU  - Jim de Groot
PY  - 2024
UR  - https://arxiv.org/abs/2408.12030
ID  - 2408.12030
ER  -