Representability and amalgamation for Heyting polyadic algebras

DOI10.1556/SScMath.48.2011.4.1190zbMath1299.03072MaRDI QIDQ5389361

Tarek Sayed Ahmed

Publication date: 26 April 2012

Published in: Studia Scientiarum Mathematicarum Hungarica (Search for Journal in Brave)

zbMATH Keywords

representabilityHeyting algebrasamalgamationpolyadic algebras

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Cylindric and polyadic algebras; relation algebras (03G15) Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

Varying interpolation and amalgamation in polyadic MV-algebras ⋮ Omitting types algebraically and more about amalgamation for modal cylindric algebras ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ Interpolation and amalgamation in modal cylindric algebras

This page was built for publication: Representability and amalgamation for Heyting polyadic algebras