Modal extensions of Heyting algebras

DOI10.4064/CM-41-1-1-12zbMath0436.06010OpenAlexW826454855MaRDI QIDQ3875987

D. S. Macnab, R. Beazer

Publication date: 1979

Published in: Colloquium Mathematicum (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4064/cm-41-1-1-12

zbMATH Keywords

Boolean algebraPost algebracomplete Heyting algebradense elementmodal extensionLukasiewicz algebramodal operators on a Heyting algebra

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Post algebras (lattice-theoretic aspects) (06D25)

Related Items (17)

Adjoint maps between implicative semilattices and continuity of localic maps ⋮ Join-continuous frames, Priestley's duality and biframes ⋮ Nuclear ranges in implicative semilattices ⋮ An algebraic approach to subframe logics. Intuitionistic case ⋮ The Booleanization of a d-frame ⋮ A look at the structure of congruence frames by means of Heyting congruences ⋮ Coz-onto frame maps and some applications ⋮ The frame of nuclei on an Alexandroff space ⋮ A special class of congruences on \(\kappa\)-frames ⋮ Funayama's theorem revisited ⋮ Modal operators on Heyting algebras ⋮ Isocompactness in the category of locales. ⋮ An asymmetric characterization of the congruence frame ⋮ Free meets and atomic assemblies of frames ⋮ When is the frame of nuclei spatial: a new approach ⋮ Higher order dissolutions and Boolean coreflections of locales ⋮ A note on spaces that are finitely an \(F\)-space.

This page was built for publication: Modal extensions of Heyting algebras