Are the ideals of a Heyting Algebra dual of its filters?

We know that ideals of a lattice are dual of its filters. Moreover, Heyting Algebra is a special class of lattice. Can we define an ideal of a Heyting Algebra dually to its filter?

12 January 2023 4,192 3 View