The superamalgamation property for reducts of Heyting polyadic algebras with and without equality
classification
🧮 math.LO
keywords
equalityalgebrasheytingobtainpolyadicpropertyreductssuperamalgamation
read the original abstract
We show that several reducts of Heyting polyadic algebras of infinite dimension, with and without equality enjoy various amalgamation properties. In the equality free case we obtain superamalgamation, but when we have equality we obtain a weaker interpolation property, for the corresponding infinitary intuitionistic logic with equality.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.