scientific article
From MaRDI portal
Publication:3874173
zbMath0435.03012MaRDI QIDQ3874173
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicclosure algebraintuitionistic logicsuperintuitionistic logicscanonical modelBrouwerian algebraGrzegorczyk algebra
Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Intermediate logics (03B55)
Related Items (5)
The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem ⋮ Unnamed Item ⋮ On logics with coimplication ⋮ On the Blok-Esakia Theorem ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
This page was built for publication:
