A representation theorem for polyadic Heyting algebras
type: Item
instance of: scholarly article
title: A representation theorem for polyadic Heyting algebras
zbMATH Open document ID: 0524.03052
DOI: 10.1007/BF02483920
author: George Georgescu
published in: Algebra Universalis
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 03G15
Mathematics Subject Classification ID: 06D20
zbMATH DE Number: 3829908
zbMATH Keywords: polyadic Heyting algebra
zbMATH Keywords: transformation algebra
zbMATH Keywords: Kripke system
zbMATH Keywords: representation theorem
MaRDI profile type: Publication
cites work: Q5672890
cites work: Representation theory for polyadic algebras
cites work: Q5582318
cites work: Algebraic Semantics for Modal Predicate Logic
cites work: Q4180350
cites work: Q3282928
cites work: Amalgamation of Polyadic Algebras
cites work: On a generalized cylindrical algebra and intuitionistic logic
cites work: Some cardinal functions on algebras
cites work: An algebraic approach to non-classical logics
cites work: On the strong semantical completeness of the intuitionistic predicate calculus
description: scientific article; zbMATH DE number 3829908