Publication:5623661
From MaRDI portal
zbMath0219.02015MaRDI QIDQ5623661
V. Ya. Gerchiu, A. V. Kuznetsov
Publication date: 1970
Related Items
The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond, New operations in intuitionistic calculus, A lattice of normal modal logics, Epimorphism surjectivity in varieties of Heyting algebras, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality