scientific article
From MaRDI portal
Publication:3735758
zbMath0601.06009MaRDI QIDQ3735758
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kripke modelsStone spaceordered setsclosure algebrascategory of Heyting algebrasGrzegorczyk algebrasstrict hybrids
Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)
Related Items
An algebraic approach to subframe logics. Intuitionistic case, Free and projective bimodal symmetric Gödel algebras, Profinite completions and canonical extensions of Heyting algebras, Diego's theorem for nuclear implicative semilattices, Intuitionistic logic and modality via topology, Epimorphisms in varieties of residuated structures, Funayama's theorem revisited, Algebraic semantics for modal and superintuitionistic non-monotonic logics, Diagrammatic duality, The small index property of the Fraïssé limit of finite Heyting algebras, McKinsey-Tarski algebras: an alternative pointfree approach to topology, Approximate positional analysis of fuzzy social networks, Epimorphism surjectivity in varieties of Heyting algebras, KRULL DIMENSION IN MODAL LOGIC, Positive modal logic beyond distributivity, The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem, Singly generated quasivarieties and residuated structures, Hilbert algebras with Hilbert-Galois connections, An algebraic approach to canonical formulas: modal case, Frontal operators in weak Heyting algebras, Reconstructing an open order from its closure, with applications to space-time physics and to logic, Not every splitting Heyting or interior algebra is finitely presentable, Foreword to the special issue dedicated to the memory of Leo Esakia, Lattice subordinations and Priestley duality., Epimorphisms in varieties of subidempotent residuated structures, Two sequences of locally tabular superintuitionistic logics, Profiniteness and representability of spectra of Heyting algebras, A semantic hierarchy for intuitionistic logic, A new constant in superintuitionistic logic L3, Hochschild homology, Frobenius homomorphism and Mac Lane homology, Profinite Heyting algebras, MacNeille transferability and stable classes of Heyting algebras, Scattered and hereditarily irresolvable spaces in modal logic, Connected modal logics, New constants in two pretabular superintuitionistic logics, When is the frame of nuclei spatial: a new approach, Hyper-MacNeille completions of Heyting algebras, Difference hierarchies and duality with an application to formal languages, AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE, On some compatible operations on Heyting algebras, The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★, Duality between modal algebras and neighbourhood frames, Pro-finite MV-spaces, Around provability logic, Irreflexive modality in the intuitionistic propositional logic and Novikov completeness, A strict implication calculus for compact Hausdorff spaces, TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4, Canonical Extensions, Esakia Spaces, and Universal Models, MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
