TY  - RPRT
TI  - Intuitionistic Sahlqvist theory for deductive systems
AU  - Damiano Fornasiere
AU  - Tommaso Moraschini
PY  - 2022
DO  - 10.1017/jsl.2023.7
UR  - https://arxiv.org/abs/2208.00691
ID  - 2208.00691
ER  -