Laura Rueda. Linear Heyting algebras with a quantifier. Annals of Pure and Applied Logic, 108(1-3):327-343, 2001.
@article{Rueda01, title = {Linear Heyting algebras with a quantifier}, author = {Laura Rueda}, year = {2001}, tags = { algebra}, researchr = {https://researchr.org/publication/Rueda01}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {108}, number = {1-3}, pages = {327-343}, }