scientific article; zbMATH DE number 3632465

zbMath0407.03048MaRDI QIDQ4193453

Revaz Grigolia, Leo Esakia

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

PartitionModal LogicAlgebraic LogicFinitely GeneratedStone SpaceHeyting AlgebraSubalgebraClosure AlgebraPre-Ordered SetTopological Representation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Subalgebras, congruence relations (08A30) Stone spaces (Boolean spaces) and related structures (06E15) Intermediate logics (03B55)

Related Items (8)

Free and projective bimodal symmetric Gödel algebras ⋮ Diego's theorem for nuclear implicative semilattices ⋮ Involutive symmetric Gödel spaces, their algebraic duals and logic ⋮ Esakia duals of regular Heyting algebras ⋮ Extendible formulas in two variables in intuitionistic logic ⋮ Foreword to the special issue dedicated to the memory of Leo Esakia ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system

This page was built for publication: