TY  - RPRT
TI  - A Lindström theorem for intuitionistic propositional logic
AU  - Guillermo Badia
AU  - Grigory Olkhovikov
PY  - 2018
DO  - 10.1215/00294527-2019-0030
UR  - https://arxiv.org/abs/1810.09744
ID  - 1810.09744
ER  -