TY  - RPRT
TI  - A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
AU  - David Quinn Alvarez
PY  - 2026
UR  - https://arxiv.org/abs/2505.08014
ID  - 2505.08014
ER  -