scientific article
From MaRDI portal
Publication:3344180
zbMath0551.03013MaRDI QIDQ3344180
Publication date: 1984
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 (3)
The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond ⋮ Foreword to the special issue dedicated to the memory of Leo Esakia ⋮ Canonical Extensions, Esakia Spaces, and Universal Models
This page was built for publication:
