TY - RPRT TI - Planar Heyting Algebras for Children 2: Local Operators, J-Operators, and Slashings AU - Eduardo Ochs PY - 2020 UR - https://arxiv.org/abs/2001.08338 ID - 2001.08338 ER -