TY  - RPRT
TI  - Craig interpolation theorem fails in bi-intuitionistic predicate logic
AU  - Grigory K. Olkhovikov
AU  - Guillermo Badia
PY  - 2022
DO  - 10.1017/s1755020322000296
UR  - https://arxiv.org/abs/2205.00245
ID  - 2205.00245
ER  -