A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism

zbMath0938.06012MaRDI QIDQ1296423

Giuliana Gnani, Giuliano Mazzanti

Publication date: 28 November 1999

Published in: Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=RSMUP_1999__101__39_0

zbMATH Keywords

fixed pointBoolean algebras with an endomorphism operator

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite fixed point algebras are subdiagonalisable
• Self-reference and modal logic
• An axiomatic approach to self-referential truth
• Algebraization of quantifier logics, an introductory overview
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
• Provability interpretations of modal logic
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• A system of complete and consistent truth
• Fixed points of endomorphisms
• A lattice-theoretical fixpoint theorem and its applications
• Fixed point algebras
• A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS
• The lattice of modal logics: an algebraic investigation
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators

This page was built for publication: A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism