Pages that link to "Item:Q585199"
From MaRDI portal
The following pages link to A representation theorem for polyadic Heyting algebras (Q585199):
Displaying 5 items.
- The abstract variable-binding calculus (Q1896759) (← links)
- Representations of polyadic-like equality algebras (Q2634710) (← links)
- Varying interpolation and amalgamation in polyadic MV-algebras (Q4586142) (← links)
- Interpolation and amalgamation in modal cylindric algebras (Q5149742) (← links)
- Omitting types algebraically and more about amalgamation for modal cylindric algebras (Q6047710) (← links)