scientific article; zbMATH DE number 194904

zbMath0727.03038MaRDI QIDQ4692873

R. Sh. Grigoliya

Publication date: 5 June 1993

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

zbMATH Keywords

Heyting algebrasfree productsMV-algebrasKripke modelsprovability logicfree algebrasvarieties of algebrasdual spacesfinitely generated algebrassymmetric intuitionistic logicprojective objectsbimodal logicsalgebraic models of intuitionistic logicalgebraic models of nonclassical propositional logicsalgebraic models of normal modal logic S4Closure algebrasConjugated closure algebrasDiagonalisable algebrasLukasiewicz logicsSkolem algebras

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Free algebras (08B20) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Related Items (7)

On monadic MV-algebras ⋮ Lattice of subalgebras in the finitely generated varieties of MV-algebras ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Free equivalential algebras ⋮ Natural dualities for varieties of MV-algebras. I ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic ⋮ Canonical Extensions, Esakia Spaces, and Universal Models

This page was built for publication: