scientific article; zbMATH DE number 3348072
From MaRDI portal
Publication:5623660
zbMath0219.02014MaRDI QIDQ5623660
V. Ya. Gerchiu, A. V. Kuznetsov
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ On superintuitionistic logics as fragments of proof logic extensions ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics ⋮ On decision procedures for sentential logics ⋮ A lattice of normal modal logics ⋮ On finite approximability of psi-intermediate logics
This page was built for publication:
