scientific article; zbMATH DE number 3606452

MaRDI QIDQ4172049zbMATH OpenFDO

Authors Roberto Magari

Publication date 1978

zbMATH Keywords

Boolean AlgebraDualityFixed Point TheoremModal Diagonalizable Algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Structure theory of algebraic structures (08A05) Equational logic, Mal'tsev conditions (08B05)

Cited in

(4)

• A modal calculus analogous to K4W, based on intuitionistic propositional logic, I^0
• Intuitionistic diagonalizable algebras
• Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI)
• Fixed point algebras

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 Q4172049)