Luisa Iturrioz. Two typical representation theorems for symmetrical Heyting algebras of order n. In Proceedings of the eighth international symposium on Multiple-valued logic, MVL 1978, Rosemont, Illinois, USA, 1978. pages 76-81, IEEE Computer Society Press, 1978. [doi]
Abstract is missing.