A representation theorem for polyadic Heyting algebras

DOI10.1007/BF02483920zbMath0524.03052MaRDI QIDQ585199

George Georgescu

Publication date: 1982

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

representation theoremKripke systempolyadic Heyting algebratransformation algebra

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Representations of polyadic-like equality algebras ⋮ The abstract variable-binding calculus ⋮ Varying interpolation and amalgamation in polyadic MV-algebras ⋮ Omitting types algebraically and more about amalgamation for modal cylindric algebras ⋮ Interpolation and amalgamation in modal cylindric algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algebraic approach to non-classical logics
• On a generalized cylindrical algebra and intuitionistic logic
• Some cardinal functions on algebras
• Algebraic Semantics for Modal Predicate Logic
• On the strong semantical completeness of the intuitionistic predicate calculus
• Amalgamation of Polyadic Algebras
• Representation theory for polyadic algebras