A representation theorem for polyadic Heyting algebras

DOI10.1007/BF02483920MaRDI QIDQ585199zbMATH OpenFDO

Authors 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

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

Cites work

• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 3616426 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• scientific article; zbMATH DE number 3405924 (Why is no real title available?)
• Algebraic Semantics for Modal Predicate Logic
• Amalgamation of Polyadic Algebras
• An algebraic approach to non-classical logics
• On a generalized cylindrical algebra and intuitionistic logic
• On the strong semantical completeness of the intuitionistic predicate calculus
• Representation theory for polyadic algebras
• Some cardinal functions on algebras

Cited in

(5)

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

This page was built for publication: A representation theorem for polyadic Heyting algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q585199)