A representation theorem for polyadic Heyting algebras

DOI10.1007/BF02483920zbMATH Open0524.03052MaRDI QIDQ585199FDOQ585199

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

• An algebraic approach to non-classical logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Representation theory for polyadic algebras
• Amalgamation of Polyadic Algebras
• On a generalized cylindrical algebra and intuitionistic logic
• Some cardinal functions on algebras
• Algebraic Semantics for Modal Predicate Logic
• Title not available (Why is that?)
• On the strong semantical completeness of the intuitionistic predicate calculus
• Title not available (Why is that?)

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)