scientific article; zbMATH DE number 3616426

MaRDI QIDQ4180350zbMATH OpenFDO

Authors George Georgescu

Publication date 1979

zbMATH Keywords

Algebras of Infinite Degree with EqualityBowen ForcingLocally Finite Normal Modal Polyadic AlgebrasModal LogicPolyadic Heyting AlgebrasRepresentation Theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15)

Cited in

(6)

• Algebraization of quantifier logics, an introductory overview
• The abstract variable-binding calculus
• Interpolation and amalgamation in modal cylindric algebras
• A representation theorem for polyadic Heyting algebras
• Omitting types algebraically and more about amalgamation for modal cylindric algebras
• Transposition of variables is hard to axiomatize

This page was built for publication:

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