scientific article; zbMATH DE number 3614837
From MaRDI portal
Publication:4179057
zbMath0396.08008MaRDI QIDQ4179057
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lattice of SubvarietiesCongruence-Distributive VarietyBrouwerianFinite AlgebrasAxiomatic ClassCompletely DistributiveDistributive Double P-AlgebrasDistributive P-AlgebrasHeyting AlgebrasPolyadic Algebras
Lattices of varieties (08B15) Complete distributivity (06D10) Congruence modularity, congruence distributivity (08B10) Free algebras (08B20)
Related Items (28)
Spectral sets ⋮ The determination of subvarieties of certain congruence-distributive varieties ⋮ Series-parallel posets and relative Ockham lattices ⋮ Natural dualities for varieties of \(n\)-valued Łukasiewicz algebras ⋮ Boolean topological distributive lattices and canonical extensions ⋮ Ockham algebras with De Morgan skeletons ⋮ A Note on 3×3-valued Łukasiewicz Algebras with Negation ⋮ Varieties of pseudocomplemented Kleene algebras ⋮ Subreducts and subvarieties of PBZ *-lattices* ⋮ Semilinear idempotent distributive \(\ell\)-monoids ⋮ Congruence-distributive varieties of algebras ⋮ Categories of partial equivalence relations as localizations ⋮ Natural extensions and profinite completions of algebras ⋮ VARIETIES OF SKEW BOOLEAN ALGEBRAS WITH INTERSECTIONS ⋮ Universal algebras ⋮ Sugihara algebras and Sugihara monoids: Multisorted dualities ⋮ The subvariety lattice for representable idempotent commutative residuated lattices ⋮ A semantic hierarchy for intuitionistic logic ⋮ On subvarieties of symmetric closure algebras ⋮ Linear Heyting algebras with a quantifier ⋮ Equational bases for varieties of Ockham algebras ⋮ Closure Łukasiewicz algebras ⋮ Ockham algebras with balanced double pseudocomplementation ⋮ Catalytic distributive lattices and compact zero-dimensional topological lattices ⋮ Splittings in varieties of logic ⋮ Natural dualities for varieties of BL-algebras ⋮ Ockham Algebras—An Urquhart Legacy ⋮ Finiteness based results in BL-algebras
This page was built for publication: