Question: how can maple be used for Heyting Algebra

Bellissima used kripky modules to find the labels for one and two generators. the number of these labels increses to a very large number as we add another level. Can maple help count these lables? and how?

Please Wait...