Free Heyting algebras as bi-Heyting algebras

September 20, 2019 By

C. R. Math. Rep. Acad. Sci. Canada Vol. 14 (6) 1992, pp. 240–244

December 1, 1992

A. Ghilardi

Abstract/Résumé:

No abstract available but the full text is online at the title link above.

Keywords:
AMS Subject Classification:

PDF(click to download): Free Heyting algebras as bi-Heyting algebras