 and $G={}^II$. There is an extensive literature for polyadic algebras dating back to the fifties and sixties of the last century, [@Halmos], [@J70], [@D], [@DM], [@AUamal], [@S]. Introduced by Halmos, the theory of polyadic algebras is now picking up again; indeed it’s regaining momentum with pleasing progress and a plathora of results, see the references [@MLQ], [@Fer1], [@Fer2], [@Fer3], [@Fer4], [@ANS], [@trans], to name just a few.

In recent times reducts of polyadic algebras of dimension $I$ were studied [@S], [@AUamal]; these reducts are obtained by restricting quantifiers to involve only quantification on finitely many variables and to study (proper) subsemigroups of $^II$ The two extremes are the semigroup of finite transformations (a finite transformation is one that moves only finitely many points) and all of $^II$ but there are infinitely many semigroups in between.

In this paper, we study reducts of polyadic algebras by allowing (proper) subsemigroups of $^II$, but we also weaken the Boolean structure to be a Heyting algebra. Thus we approach the realm of intuitionistic logic. We shall study the cases when $G$ consists of all finite transformations, when $G$ is a proper subsemigroup satisfying certain properties but essentially containing infinitary transformations, that is, transformations that move infinitely many points (this involves infinitely many cases), and when $G$ is the semigroup of all transformations. Our investigations will address the representation of such algebras in a concrete sense where the operations are interpreted as set-theoretic operations on sets of sequences, and will also address the amalgamation property and variants thereof of the classes in question.

In all the cases we study, the scope of quantifiers are finite, so in this respect our algebras also resemble cylindric algebras. The interaction between the theories of Boolean cylindric algebras and Boolean polyadic algebras is extensively studied in algebraic logic, see e.g [@ANS], with differences and similarities illuminating both theories. In fact, the study of $G$ Boolean polyadic algebras ($G$ a semigroup) by Sain in her pioneering paper [@S], and its follow up [@AUamal], is an outcome, or rather a culmination, of such research; it’s a typical situation in which the positive
and $ G={}^II$. There is an extensive literature for polyadic algebras dating back to the fifty and sixty of the last century, [ @Halmos ], [ @J70 ], [ @D ], [ @DM ], [ @AUamal ], [ @S ]. insert by Halmos, the hypothesis of polyadic algebras is now picking up again; indeed it ’s regaining momentum with pleasing advancement and a plathora of resultant role, see the address [ @MLQ ], [ @Fer1 ], [ @Fer2 ], [ @Fer3 ], [ @Fer4 ], [ @ANS ], [ @trans ], to name just a few. 

 In late times reducts of polyadic algebras of dimension $ I$ were studied [ @S ], [ @AUamal ]; these reducts are prevail by restricting quantifiers to involve only quantification on finitely many variables and to analyze (proper) subsemigroups of $ ^II$ The two extremes are the semigroup of finite transformations (a finite transformation is one that moves entirely finitely many points) and all of $ ^II$ but there are infinitely many semigroups in between. 

 In this paper, we analyze reducts of polyadic algebras by allowing (proper) subsemigroups of $ ^II$, but we also weaken the Boolean structure to be a Heyting algebra. therefore we approach the realm of intuitionistic logic. We shall study the cases when $ G$ consists of all finite transformations, when $ G$ is a proper subsemigroup meet certain properties but essentially containing infinitary transformations, that is, transformations that move infinitely many points (this involves boundlessly many case), and when $ G$ is the semigroup of all transformations. Our investigation will cover the theatrical performance of such algebras in a concrete sense where the operations are interpreted as set - theoretic operations on sets of sequence, and will also address the amalgamation property and variants thence of the classes in question. 

 In all the cases we study, the scope of quantifiers are finite, so in this respect our algebra besides resemble cylindrical algebras. The interaction between the theories of Boolean cylindric algebras and Boolean polyadic algebras is extensively studied in algebraic logic, see e.g [ @ANS ], with differences and similarities illuminate both theories. In fact, the study of $ G$ Boolean polyadic algebras ($ G$ a semigroup) by Sain in her pioneering newspaper [ @S ], and its follow up [ @AUamal ], is an outcome, or quite a culmination, of such research; it ’s a distinctive situation in which the positive
 anf $G={}^II$. There is an extenslve literature for polyedic alfebras dxting back to the fifties anv sizties of the last century, [@Hxlmos], [@J70], [@D], [@DM], [@AUamql], [@S]. Untroduced by Halmos, the bheorv if polyadic alnebras is nmw picking up dgxiu; indeed it’s regaining momentum with pleasimg progress and w plsehorz of results, see the references [@MLS], [@Fer1], [@Ftr2], [@Fer3], [@Fer4], [@ANS], [@trams], to name just a few.

In refent times reducts of oolyadic altebrww of dimensiun $I$ were studied [@S], [@AUzmal]; these reducts are obtained by rzstricting wuqntlxiers to intolve jnly quantiflbation mn finiyely many varisblxs abd to study (proper) suusemigroups of $^II$ Thg two extramzs are the semigroup if finije trdnsfuemagiohs (a finitf tcansformatikn is one tyat moves only finiuelr many points) znd alj jf $^II$ but there are infinitely many sempgrohps in between.

In this pqper, we study reducts of polyaqic algebras by allowing (proper) subsemigroups of $^HI$, buv de coso wdqkfn the Boolean structure to be a Heyting algefda. Tmus we approach bhe realm of intuiyilnoftic logic. We shall sthdy the cases when $G$ consysts if all figite transformations, when $G$ is q proper subfwmigroup satisfyiny certain pruperjies bit essentially containiug infjnitary trajsformatikvs, that is, transworkadions that move infinitely many poiits (tkis invouves infinytely many cases), and when $G$ is the semiyroup of all trwnsformations. Our investigations will address tve gepresentction pf such algebwas in a concrgte sense wherd the operztions ere interpreeed as set-themtetic operatimns on sqts if swquencer, and will also address nht amalgamarion property and yariavfs thereof of tkt coasses in questoon.

Kn wlp vhe cwves we study, the scule of quantifierw are finite, so in this raspedt our algebras alxo resemblg cylindryc algebras. Tne interaction betaeen vhe thxories of Boolean cylindric algebras ans Boolean pojyadic algebwas ls evtensively studied in algebraic logic, see e.g [@ANS], xith differences and sinilarities illuminajinn both theormes. In fact, the study of $G$ Boolean polyadic algebras ($G$ a semigroup) by Saih in har pilneering paper [@S], and its follow up [@AUamal], is an outcome, or rather a culmibation, of such ressarcn; it’s a cypical sitnavion in which the positive
and $G={}^II$. There is an extensive literature algebras back to fifties and sixties [@J70], [@DM], [@AUamal], [@S]. by Halmos, the of polyadic algebras is now picking again; indeed it’s regaining momentum with pleasing progress and a plathora of results, the references [@MLQ], [@Fer1], [@Fer2], [@Fer3], [@Fer4], [@ANS], [@trans], to name just a In times of algebras of dimension $I$ were studied [@S], [@AUamal]; these reducts are obtained by restricting quantifiers to only quantification on finitely many variables and to (proper) subsemigroups of $^II$ two extremes are the semigroup finite (a finite is that only finitely many and all of $^II$ but there are infinitely many semigroups in between. In this paper, we study of polyadic allowing (proper) of but also weaken the to be a Heyting algebra. Thus realm of intuitionistic logic. We shall study the when $G$ of all finite transformations, when $G$ a proper subsemigroup satisfying certain properties but essentially infinitary transformations, that is, transformations that move infinitely many points (this involves infinitely many cases), $G$ is the semigroup all transformations. Our will the of algebras in concrete sense where the operations are interpreted as set-theoretic operations on of sequences, and will also address the amalgamation property and of classes in question. all the cases we the of quantifiers are finite, this our cylindric The between the theories of cylindric algebras and Boolean polyadic is extensively studied in with differences and similarities illuminating both theories. In the study of $G$ Boolean polyadic algebras a semigroup) by Sain in her pioneering paper [@S], and its follow [@AUamal], is or rather a culmination, of such research; it’s typical situation in which positive
 and $G={}^II$. There is an extensive lIterature fOr polYadIc aLgEbraS datIng back to the fiFTies And sixties of the last cenTury, [@HAlMOs], [@J70], [@D], [@dm], [@Auamal], [@s]. IntrodUCeD BY HaLmOs, The ThEOrY of poLyaDic algeBras is now pIckInG up again; indeED iT’s regaininG moMentum with plEasIng proGrEss ANd a plAthOra of ResultS, See the ReferenceS [@Mlq], [@Fer1], [@FeR2], [@fer3], [@Fer4], [@Ans], [@TrAns], tO name just a few.

In reCEnT Times reducts of PolyadIc ALgEBRas Of dImension $I$ wErE studIEd [@S], [@AUamAL]; tHESE reDUcts are obtainEd by restricTIng QuantiFiErs TO involVe onlY qUAntIfication on FiniTely many vAriablES and to sTUdy (propEr) subsEmiGroUps oF $^iI$ thE twO eXTreMEs Are THe sEmigroup Of FiNite tRansFORMAtioNs (a FiniTe traNsformation is One That MOveS only FinitEly mAnY poinTs) and aLl of $^Ii$ bUt there are infinItelY many semiGroUpS in BeTween.

iN this pApeR, we Study reDucts of POlyAdIC ALgEbras by allowing (proPeR) SUbSemigrouPs of $^II$, BUt We ALso weakeN tHe BOoleAN StrucTure TO bE a HeytinG algebRA. THuS we apprOaCh the rEaLm oF inTuitiONistIc logiC. We shall Study THe cases when $G$ coNSists of all finITe TRAnSFormAtiOns, when $G$ is a PropER subSemiGRoUp sATisfyIng ceRtAIn PRoperties but essentiAlLy contAininG infinitary trAnsformatiONS, That is, trAnsfORmATions that move iNfiniTely many poINts (this iNvolvEs infiniTely many cASEs), and wheN $G$ iS thE seMigROUp Of all transforMATionS. OUr invesTigAtions wIll AddResS thE rEpresentaTion of suCh AlGeBrAs iN a conCRete sensE wHerE tHe oPeratIOns are InterPretEd As SEt-tHeoretiC OpERAtioNs On Sets Of sEqUenceS, and WIll Also addRess the amAlgAMatiOn PrOperty aNd variants theReOf of the claSsEs iN questION.

In all thE cases we study, the scope of QUantifiErs Are fiNite, So in this rEspEct our AlgEBras alSo reseMble cYlIndRIC algeBRAs. the InTeraction bETWeeN the tHeOrieS of BoolEan cylindric algebrAS anD Boolean polyaDic AlgeBRAs Is eXTeNSivElY StuDIEd in algebraic loGic, see e.g [@ANs], wITh DifferenceS And SiMilaritIes illuMinatINg both tHeories. In Fact, the stUdY of $G$ bOOleAn polyadic Algebras ($g$ a semigroUP) by SaIN iN her pIonEering PaPer [@s], and iTs follOW up [@aUamaL], is an oUtCome, or RatheR a CulminatIon, of such research; it’s a tyPical sItuatIon In which thE poSItiVe
 and $G={}^II$. There is a n extensiv e lit era tur eforpoly adic algebrasd atin g back to the fiftiesand s ix t ieso fthe l ast cen t ur y ,  [@ Ha lm os] ,[ @J 70],[@D ], [@DM ], [@AUama l],  [ @S]. Introdu c ed  by Halmos , t he theory of  po lyadic  a lge b ras i s n ow pi ckingu p agai n; indeed  i t ’s reg a ining m o m en tumwith pleasing pro g re s s and a platho ra ofre s ul t s , s eethe refere nc es [@ M LQ], [@ F er 1 ] ,  [@ F er2], [@Fer3] , [@Fer4],[ @AN S], [@ tr ans ] , to n ame j us t  afew.

In re cent  times re ductso f polya d ic alge bras o f d ime nsio n  $ I$  we re stu d ie d [ @ S],  [@AUama l] ;these  red u c t s  are  ob tain ed by  restrictingqua ntif i ers  to i nvolv e on ly  quan tifica tionon  finitely manyvari ables and  to  s tud y(prop e r) sub sem igr oups of  $^II$T hetw o e xt remes are the semi gr o u pof finit e tran s fo rm a tions (a  f ini te t r a nsfor mati o nis one t hat mo v es  o nly fin it ely ma ny  po int s) an d  all  of $^ II$ butthere are infinitely many semigrou p si n  b e twee n.
In this pa per, we s tudy re duc t s ofpolya di c  a l gebras by allowing(p roper)  subs emigroups of$^II$, but w e  also we aken th e  Boolean struc tureto be a He y ting alg ebra.  Thus we  approach t he realm  of  in tui tio n i st ic logic. Wes h allst udy the  ca ses whe n $ G$con sis ts  of all f inite tr an sf or ma tio ns, w h en $G$ i sa p ro per  subs e migrou p sat isfy in gc ert ain pro p er t i es b ut  e ssen tia ll y con tain i nginfinit ary trans for m atio ns ,that is , transformat io ns that mo ve  in finite l y  many po ints (this involves inf i nitelyman y cas es),  and when  $G $ is t hes emigro up ofall t ra nsf o r matio n s .Our  i nvestigati o n s w ill a dd ress  the re presentation of su c h a lgebras in acon cret e se nse wh e reth e  op e r ations are inte rpreted as  s e t- theoretico per at ions on  sets o f seq u ences,and willalso addr es s th e ama lgamationproperty  and vari a nts t h er eof o f t he cla ss esin qu estion . 

I n all  the c as es westudy ,the scop e of quantifiers are fi nite,so in  th is respec t o u r a lgebras a lsoresemble c yli ndr ic al geb r as. T he i n te rac t ion b etwe e n the the o ri eso f  B oolean cyli n d r icalgeb ras and Bo olea n polyadic algebr a s is extensive ly s t u die d i n  alg eb raic logic, se e e .g [ @ANS], w it h differenc es and s im i larit ies il lumina ting bo t h  t h eories . In  fa ct, the s tud yo f $G$ B oo le a n poly adic  a lgebra s ($G$ a se m i group) by Sain i n her p ionee r ing  pape r[@S], a n d it s follow u p [@AUamal] , is a n ou tcome , or ra th er a c ulm in ation, ofs uch resea rch;it’s aty pica l s ituati on i n which  the  p osi tive
 and_$G={}^II$. There_is an extensive literature_for polyadic_algebras_dating back_to_the fifties and_sixties of the_last century, [@Halmos], [@J70],_[@D], [@DM], [@AUamal],_[@S]._Introduced by Halmos, the theory of polyadic algebras is now picking up again; indeed_it’s_regaining momentum_with_pleasing_progress and a plathora of_results, see the references [@MLQ],_[@Fer1], [@Fer2],_[@Fer3], [@Fer4], [@ANS], [@trans], to name just a_few.

In_recent times reducts_of polyadic algebras of dimension $I$ were studied [@S],_[@AUamal]; these reducts are obtained by_restricting quantifiers to_involve_only_quantification on finitely many_variables and to study (proper) subsemigroups_of $^II$ The two extremes are_the semigroup of finite transformations (a finite_transformation is one that moves only_finitely many points) and all_of $^II$_but there are infinitely many_semigroups in between.

In_this paper,_we study reducts_of polyadic algebras by allowing (proper)_subsemigroups of $^II$,_but we also weaken the Boolean_structure_to be a_Heyting_algebra._Thus we_approach the realm_of_intuitionistic logic._We_shall study the cases when $G$_consists_of all finite transformations, when $G$ is_a proper subsemigroup satisfying_certain_properties but essentially containing_infinitary transformations, that is, transformations_that move infinitely many points (this_involves infinitely_many cases),_and when $G$ is the semigroup of all transformations. Our investigations_will address the representation of such_algebras in a concrete_sense where_the_operations are interpreted_as_set-theoretic operations_on sets of sequences, and will also_address the_amalgamation property and variants thereof of_the classes in question.

In_all_the cases we study, the scope_of quantifiers are finite, so in_this respect our algebras also_resemble_cylindric_algebras. The interaction between the_theories of Boolean cylindric algebras and_Boolean polyadic algebras_is extensively studied in algebraic logic, see_e.g_[@ANS], with differences and similarities illuminating_both_theories. In fact, the study of_$G$_Boolean_polyadic algebras ($G$ a semigroup)_by Sain in her pioneering paper_[@S], and its follow up [@AUamal], is an outcome,_or rather a_culmination, of such research; it’s_a_typical_situation in which the positive