TY  - RPRT
TI  - Discrete Duality for Tense Symmetric Heyting Algebras
AU  - Aldo V. Figallo
AU  - Gustavo Pelaitay
AU  - Claudia Sanza
PY  - 2012
UR  - https://arxiv.org/abs/1203.5427
ID  - 1203.5427
ER  -