cylindrification

...形Heyting代数，我们可以利用，这个目的，两个圆筒状的代数（如cylindrification），和Heyting代数（如暗示和否定）的操作。