Publication:4180350
From MaRDI portal
zbMath0397.03042MaRDI QIDQ4180350
Publication date: 1979
Representation Theorem; Modal Logic; Algebras of Infinite Degree with Equality; Bowen Forcing; Locally Finite Normal Modal Polyadic Algebras; Polyadic Heyting Algebras
03B45: Modal logic (including the logic of norms)
03G15: Cylindric and polyadic algebras; relation algebras
Related Items
A representation theorem for polyadic Heyting algebras, Algebraization of quantifier logics, an introductory overview, The abstract variable-binding calculus