scientific article; zbMATH DE number 3639590
From MaRDI portal
Publication:4198475
zbMath0412.03010MaRDI QIDQ4198475
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicKripke modelssuperintuitionistic logicsextension of S4topological latticesfree Brower algebrafree closure algebra
Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Ordered topological structures (06F30) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intermediate logics (03B55)
Related Items (5)
An algebraic theory of normal forms ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Extendible formulas in two variables in intuitionistic logic ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV ⋮ Canonical Extensions, Esakia Spaces, and Universal Models
This page was built for publication:
