scientific article; zbMATH DE number 3287709
From MaRDI portal
Publication:5570908
zbMATH Open0181.00404MaRDI QIDQ5570908FDOQ5570908
Authors: Vadim Yankov 
Publication date: 1969
Title of this publication is not available (Why is that?)
Cited In (8)
- Bi-intermediate logics of trees and co-trees
- Profiniteness and representability of spectra of Heyting algebras
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics
- Not every splitting Heyting or interior algebra is finitely presentable
- Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
- On the quasivariety of BCK-algebras and its subvarieties
- Characteristic formulas of partial Heyting algebras
- On finite approximability of psi-intermediate logics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5570908)
