Pages that link to "Item:Q3008053"
From MaRDI portal
The following pages link to De Morgan Heyting algebras satisfying the identity<i>x</i><sup><i>n</i>(′*)</sup>≈<i>x</i><sup>(<i>n</i>+1)(′*)</sup> (Q3008053):
Displaying 1 item.