scientific article; zbMATH DE number 6863644
From MaRDI portal
Publication:4636034
zbMath1400.03024MaRDI QIDQ4636034
Wesley H. Holliday, Guram Bezhanishvilli
Publication date: 23 April 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (7)
Three roads to complete lattices: orders, compatibility, polarity ⋮ Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic ⋮ Admissible rules for six intuitionistic modal logics ⋮ B-frame duality ⋮ Cover systems for the modalities of linear logic ⋮ Lattices of Intermediate Theories via Ruitenburg's Theorem ⋮ A semantic hierarchy for intuitionistic logic
This page was built for publication:
