scientific article; zbMATH DE number 3287709

zbMath0181.00404MaRDI QIDQ5570908

Vadim Yankov

Publication date: 1969

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

zbMATH Keywords

general logic

Related Items (7)

Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ On the quasivariety of BCK-algebras and its subvarieties ⋮ Characteristic formulas of partial Heyting algebras ⋮ Not every splitting Heyting or interior algebra is finitely presentable ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas ⋮ On finite approximability of psi-intermediate logics

This page was built for publication: