scientific article
From MaRDI portal
Publication:3772270
zbMath0634.06005MaRDI QIDQ3772270
Publication date: 1987
Full work available at URL: https://eudml.org/doc/189953
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
quasivarietyfinitely based varietylocally finite varietiesprojective algebrafinite projective Heyting algebrasfinite subdirectly irreducible Heyting algebrasprimitive varieties of Heyting algebras
Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Intermediate logics (03B55)
Related Items (7)
Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ Hereditarily structurally complete superintuitionistic deductive systems ⋮ Frame based formulas for intermediate logics ⋮ Structural completeness in many-valued logics with rational constants
This page was built for publication:
