Grzegorczyk algebras revisited

MaRDI QIDQ4556013zbMATH OpenFDO

Authors Michał M. Stronkowski

Publication date 23 November 2018

zbMATH Keywords

stable homomorphismsGrzegorczyk algebrasfree Boolean extensions of Heyting algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Magari and \(\Delta\)-pseudo-Boolean algebras
• On the Blok-Esakia theorem
• A note on Grzegorczyk's logic
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3677799 (Why is no real title available?)
• scientific article; zbMATH DE number 3564971 (Why is no real title available?)
• A lattice of normal modal logics
• An algebraic approach to canonical formulas: modal case
• Canonical formulas for K4. Part I: Basic results
• Continuity, freeness, and filtrations
• Introduction to Boolean Algebras
• Modal companions of intermediate propositional logics
• On closed elements in closure algebras
• On the Blok-Esakia theorem
• On the number of ultrafilters of an infinite boolean algebra
• Some relational systems and the associated topological spaces
• Stable canonical rules
• The embedding theorem: its further developments and consequences. I

Cited in

(1)

• Magari and \(\Delta\)-pseudo-Boolean algebras

This page was built for publication: Grzegorczyk algebras revisited

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