The following pages link to (Q4180350):
Displayed 5 items.
- A representation theorem for polyadic Heyting algebras (Q585199) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- The abstract variable-binding calculus (Q1896759) (← links)
- Interpolation and amalgamation in modal cylindric algebras (Q5149742) (← links)
- Omitting types algebraically and more about amalgamation for modal cylindric algebras (Q6047710) (← links)