TY  - RPRT
TI  - On Some Syntactic Properties of the Modalized Heyting Calculus
AU  - Alexei Muravitsky
PY  - 2022
UR  - https://arxiv.org/abs/1612.05273
ID  - 1612.05273
ER  -