Grzegorczyk algebras revisited

zbMATH Open1496.03260MaRDI QIDQ4556013FDOQ4556013

Authors: Michał M. Stronkowski 

Publication date: 23 November 2018

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

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)

Cites Work

• Canonical formulas for K4. Part I: Basic results
• Introduction to Boolean Algebras
• On closed elements in closure algebras
• Stable canonical rules
• Continuity, freeness, and filtrations
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the Blok-Esakia theorem
• Modal companions of intermediate propositional logics
• A lattice of normal modal logics
• Some relational systems and the associated topological spaces
• Title not available (Why is that?)
• An algebraic approach to canonical formulas: modal case
• On the number of ultrafilters of an infinite boolean algebra
• 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)